Batista, L., & 		Nantes-Sobrinho, D.
(2021).
Desunificação Nominal via Ponto Fixo.
In <em>Anais do II Workshop Brasileiro de Lógica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2021.15773