Linear-time algorithms for testing the satisfiability of propositional Horn formulae (1984)

by William F Dowling, Jean H Gallier
Venue:J. Logic Programming