Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur. Building Constraint Solvers with HAL. In Philippe Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2237 of Lecture Notes in Computer Science, pages 90-104, Springer, 2001. [doi]