Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan New results on rewrite-based satisfiability procedures. (English) Zbl 1367.68243 ACM Trans. Comput. Log. 10, No. 1, Article No. 4, 51 p. (2009). Cited in 30 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68Q42 Grammars and rewriting systems 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:automated reasoning; combination of theories; decision procedures; inference; rewriting; satisfiability modulo a theory; scalability; superposition; termination Software:CVC Lite; E Theorem Prover; PVS; SIMPLIFY; CVC; cvc3; SPASS PDFBibTeX XMLCite \textit{A. Armando} et al., ACM Trans. Comput. Log. 10, No. 1, Article No. 4, 51 p. (2009; Zbl 1367.68243) Full Text: DOI arXiv