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