Gutiérrez, Raúl; Lucas, Salvador Automatically proving and disproving feasibility conditions. (English) Zbl 07614688 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 416-435 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 12167, 416--435 (2020; Zbl 07614688) Full Text: DOI
Lucas, Salvador Proving semantic properties as first-order satisfiability. (English) Zbl 1478.68356 Artif. Intell. 277, Article ID 103174, 24 p. (2019). MSC: 68T27 68N17 68P15 68Q42 68V15 PDFBibTeX XMLCite \textit{S. Lucas}, Artif. Intell. 277, Article ID 103174, 24 p. (2019; Zbl 1478.68356) Full Text: DOI Link
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. (English) Zbl 1393.68088 J. Comput. Syst. Sci. 96, 74-106 (2018). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} et al., J. Comput. Syst. Sci. 96, 74--106 (2018; Zbl 1393.68088) Full Text: DOI
Lucas, Salvador; Gutiérrez, Raúl Use of logical models for proving infeasibility in term rewriting. (English) Zbl 1477.68140 Inf. Process. Lett. 136, 90-95 (2018). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{R. Gutiérrez}, Inf. Process. Lett. 136, 90--95 (2018; Zbl 1477.68140) Full Text: DOI Link