New methods for computing inferences in first order logic (1993)

by J N Hooker
Venue:Annals of Operations Research