Herbrand Constraint Solving in HAL.

Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey

Browse the full ICLP paper archive.