Algorithms for Testing the Satisfiability of Propositional Formulae. - Giorgio Gallo; Giampaolo Urbani (J. Log. Program., 1989)