Amaro, Maycon, Samuel S. Feitosa, and Rodrigo G. Ribeiro.
" A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching." <em>Anais do XXV Simpósio Brasileiro de Métodos Formais,
Evento Online, 2022</em>. SBC, 2022,  
pp.39-54.