Codish, Michael; Giesl, Jürgen; Schneider-Kamp, Peter; Thiemann, René SAT solving for termination proofs with recursive path orders and dependency pairs. (English) Zbl 1276.68140 J. Autom. Reasoning 49, No. 1, 53-93 (2012). MSC: 68T20 68Q42 PDFBibTeX XMLCite \textit{M. Codish} et al., J. Autom. Reasoning 49, No. 1, 53--93 (2012; Zbl 1276.68140) Full Text: DOI
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael Propagation via lazy clause generation. (English) Zbl 1192.68654 Constraints 14, No. 3, 357-391 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{O. Ohrimenko} et al., Constraints 14, No. 3, 357--391 (2009; Zbl 1192.68654) Full Text: DOI