Integrating Logic and (1989)

by H Aït-Kaci, R Nasr
Venue:Functional Programming. Lisp and Symbolic Computation