Proof Procedures for Logic Programming (1998)

by D W Loveland, G Nadathur
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming