Maria J. García de la Banda David Jeffery Kim Marriott Nicholas Nethercote Peter J. Stuckey Christian Holzbaur Building Constraint Solvers with HAL. 90-104 2001 conf/iclp/2001 ICLP http://link.springer.de/link/service/series/0558/bibs/2237/22370090.htm db/conf/iclp/iclp2001.html#BandaJMNSH01