M. Amaro, S. Feitosa, and R. Ribeiro.
" A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching", in <em>Proceedings of the 25th Brazilian Symposium on Formal Methods</em>, Evento Online, 2022, pp. 39-54.