M. Amaro, S. Feitosa, and R. Ribeiro.
" 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>, Evento Online, 2022, pp. 39-54.