Batista, Leonardo, and Daniele  Nantes-Sobrinho.
"Desunificação Nominal via Ponto Fixo." <em>Anais do II Workshop Brasileiro de Lógica,
Evento Online, 2021</em>. SBC, 2021,  
pp.9-16.