An algebraic approach to multi−sorted constraints - Bulatov, A; Jeavons, P (2003)