On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.

Alessandro Armando Maria Paola Bonacina Silvio Ranise Stephan Schulz On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. 65-80 2005 conf/frocos/2005 FroCos http://dx.doi.org/10.1007/11559306_4 db/conf/frocos/frocos2005.html#ArmandoBRS05