Unit refutations and Horn sets (1974)

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