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