Near-Horn Prolog and beyond (1991)

by D W Loveland
Venue:J. Automated Reasoning