Unit refutations and Horn sets (1974)

by Lawrence J Henschen, Lawrence Wos
Venue:Journal of the Association for Computing Machinery