Algorithms for Testing the Satisfiability of Propositional Formulae (1989)

by G Gallo, G Urbani
Venue:Journal of Logic Programming