Linear Time Algorithms for testing the Satisfiability of Propositional Horn formulae (1984)

by Downing W Downing, and1984 J H Gallier Gallier
Venue:Journal of Logic Programming