Ian P. Gent Christopher Jefferson Ian Miguel Peter Nightingale Data Structures for Generalised Arc Consistency for Extensional Constraints. 191-197 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#GentJMN07