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

by W F Dowling, J H Gallier
Venue:Fundamentals of Algebraic Specification 1: Equations und Initial Semantics, volume 6 of Monographs in Theoretical Computer Science. An EATCS Series