Extended Horn sets in propositional logic (1991)

by V Chandru, J Hooker
Venue:J. of the ACM