The following publications are possibly variants of this publication:
- New results on rewrite-based satisfiability proceduresAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz. tocl, 10(1), 2009. [doi]
- Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma SpeculationAlessandro Armando, Luca Compagna, Silvio Ranise. BIRTHDAY 2005: 30-45 [doi]
- A rewriting approach to satisfiability proceduresAlessandro Armando, Silvio Ranise, Michaël Rusinowitch. iandc, 183(2):140-164, 2003. [doi]
- On Superposition-Based Satisfiability Procedures and Their CombinationHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. ictac 2005: 594-608 [doi]
- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental AppraisalAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz. frocos 2005: 65-80 [doi]