The following publications are possibly variants of this publication:
- A rewriting approach to satisfiability proceduresAlessandro Armando, Silvio Ranise, Michaël Rusinowitch. iandc, 183(2):140-164, 2003. [doi]
- Automatic Combinability of Rewriting-Based Satisfiability ProceduresHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. lpar 2006: 542-556 [doi]
- Rewrite-Based Satisfiability Procedures for Recursive Data StructuresMaria Paola Bonacina, Mnacho Echenim. ENTCS, 174(8):55-70, 2007. [doi]
- On Superposition-Based Satisfiability Procedures and Their CombinationHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. ictac 2005: 594-608 [doi]
- Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision ProceduresMaria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli. cade 2006: 513-527 [doi]
- Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma SpeculationAlessandro Armando, Luca Compagna, Silvio Ranise. BIRTHDAY 2005: 30-45 [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]