Ariane Alves Almeida, Mauricio Ayala-Rincón. Formalizing the dependency pair criterion for innermost termination. Science of Computer Programming, 195:102474, 2020. [doi]
@article{AlmeidaA20,
title = {Formalizing the dependency pair criterion for innermost termination},
author = {Ariane Alves Almeida and Mauricio Ayala-Rincón},
year = {2020},
doi = {10.1016/j.scico.2020.102474},
url = {https://doi.org/10.1016/j.scico.2020.102474},
researchr = {https://researchr.org/publication/AlmeidaA20},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {195},
pages = {102474},
}