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

by W Dowling, J Gallier
Venue:J. of Logic Programming