L. Batista and D. Nantes-Sobrinho.
"Desunificação Nominal via Ponto Fixo", in <em>Anais do II Workshop Brasileiro de Lógica</em>, Evento Online, 2021, pp. 9-16, doi: <a href="https://doi.org/10.5753/wbl.2021.15773">https://doi.org/10.5753/wbl.2021.15773</a>.