Herbrand Constraint Solving in HAL (1999)

by Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey