constraint solving in HAL (1999)

by Herbrand
Venue:In Procs. of ICLP99, to