Unit refutation and Horn sets (1974)

by D Henschen, L Wos
Venue:Journal of the ACM