Lynch, Christopher; Ta, Quang-Trung; Tran, Duc-Khanh SMELS: satisfiability modulo equality with lazy superposition. (English) Zbl 1314.68285 J. Autom. Reasoning 51, No. 3, 325-356 (2013). MSC: 68T15 PDFBibTeX XMLCite \textit{C. Lynch} et al., J. Autom. Reasoning 51, No. 3, 325--356 (2013; Zbl 1314.68285) Full Text: DOI
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). MSC: 68T15 68Q42 68Q60 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