An algebraic approach to multi−sorted constraints

Бібліографічні деталі
Автори: Bulatov, A, Jeavons, P
Формат: Conference item
Опубліковано: 2003