Batista, L., & 		Nantes-Sobrinho, D.
2021 jul 18.  Desunificação Nominal via Ponto Fixo. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :