Ramos, A., 		Queiroz, R., & 		Oliveira, A.
2021 jul 18.  Conversão de Termos, Homotopia, e Estrutura de Grupóide. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :