An algebraic approach to multi−sorted constraints

Bibliografiset tiedot
Päätekijät: Bulatov, A, Jeavons, P
Aineistotyyppi: Conference item
Julkaistu: 2003