Herbrand Constraint Solving in HAL (1999)

by Bart Demoen , Maria García de la Banda , Warwick Harvey , Kim Marriott , Peter Stuckey
Citations:8 - 3 self