An algebraic approach to multi-sorted constraints - Bulatov, A; Jeavons, P (PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003)