@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 = "Dagstuhl Publishing, Germany",
        editor = "Liron Cohen and Cezary Kalisyk",
        pages = {26:1--26:17},
        number = "26",
        year = "2021"
}