An algebraic approach to multi−sorted constraints

Bibliográfalaš dieđut
Váldodahkkit: Bulatov, A, Jeavons, P
Materiálatiipa: Conference item
Almmustuhtton: 2003