Bart Demoen Maria J. García de la Banda Warwick Harvey Kim Marriott Peter J. Stuckey Herbrand Constraint Solving in HAL. 260-274 1999 ICLP db/conf/iclp/iclp99.html#DemoenBHMS99