BATISTA, Leonardo; NANTES-SOBRINHO, Daniele . Desunificação Nominal via Ponto Fixo. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 2. , 2021, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 9-16. ISSN 2763-8731. DOI: https://doi.org/10.5753/wbl.2021.15773.