Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa Relative termination via dependency pairs. (English) Zbl 1410.68190 J. Autom. Reasoning 58, No. 3, 391-411 (2017). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{J. Iborra} et al., J. Autom. Reasoning 58, No. 3, 391--411 (2017; Zbl 1410.68190) Full Text: DOI
Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa Reducing relative termination to dependency pair problems. (English) Zbl 1465.68120 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 163-178 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Iborra} et al., Lect. Notes Comput. Sci. 9195, 163--178 (2015; Zbl 1465.68120) Full Text: DOI Link
Alpuente, María; Escobar, Santiago; Iborra, José Termination of narrowing using dependency pairs. (English) Zbl 1185.68218 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 317-331 (2008). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 5366, 317--331 (2008; Zbl 1185.68218) Full Text: DOI