Batista, Leonardo, E 		Nantes-Sobrinho, Daniele .
" Desunificação Nominal via Ponto Fixo" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (18 julho 2021)