Maria Paola Bonacina;Jieh Hsiang
-;-
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001