B. O'Sullivan, A. Papadopoulos, B. Faltings, and P. Pu. Proceedings of the National Conference on Artificial Intelligence, page 323--328. Menlo Park, United States, American Association for Artificial Intelligence, (2007)Cork Constraint Computation Centre, University College Cork, Ireland.