Herbrand constraint solving in (1999)

by B Demoen, M García de la Banda, W Harvey, K Marriott, P J Stuckey
Venue:Logic Programming: Proceedings of the 16th International Conference