@inproceedings{MAMDNAAF21,
	Author = {C{\'{e}}sar Mu{\~{n}}oz and Mauricio Ayala-Rinc{\'{o}}n and
	Mariano Moscato and Aaron Dutle and Anthony Narkawicz and Ariane Alves and Andr{\'{e}}ia Avelar and Thiago Ferreira},
	Booktitle = {Proceedings of the 12th International Conference on Interactive Theorem Proving (ITP 2021)},
	Title = {Formal Verification of Termination Criteria for First-Order Recursive Functions},
	publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
        editor = "Liron Cohen and Cezary Kalisyk",
	url    = {https://doi.org/10.4230/LIPIcs.ITP.2021.27},
        doi = {10.4230/LIPICS.ITP.2021.27},
        pages = {26:1--26:17},
        number = "26",
        year = "2021"
}