Leonardo Batista and Daniele  Nantes-Sobrinho. 2021.
Desunificação Nominal via Ponto Fixo. In <em>Anais do II Workshop Brasileiro de Lógica</em>, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/wbl.2021.15773">https://doi.org/10.5753/wbl.2021.15773</a>.