Ramos, Arthur, 		Queiroz, Ruy, E 		Oliveira, Anjolina.
" Conversão de Termos, Homotopia, e Estrutura de Grupóide" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (18 julho 2021)