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