V. Chandru John N. Hooker Extended Horn Sets In Propositional Logic. 205-221 1991 38 J. ACM 1 db/journals/jacm/jacm38.html#ChandruH91 http://doi.acm.org/10.1145/102782.102789