Hornlog: A Graph-Based Interpreter for General Horn Clauses (1987)

by J Gallier, S Raatz
Venue:Journal of Logic Programming