Unit refutations and horn sets (1993)

by Lawrence J Henschen, Lawrence A Wos
Venue:Mathematical Programming, 62:69–83