On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal (2005)

by A Armando, M P Bonacina, S Ranise, S Schulz
Venue:In Proc. of FroCoS’2005, volume 3717 of LNCS