Logical features of Horn clauses (1993)

by W Hodges
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming, Logical Foundations