Amaro, Maycon, 		Feitosa, Samuel, E 		Ribeiro, Rodrigo.
" A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)