Ramos, A., 		Queiroz, R., & 		Oliveira, A.
(2021).
Conversão de Termos, Homotopia, e Estrutura de Grupóide.
In <em>Anais do II Workshop Brasileiro de Lógica</em>, (pp. 33-40). Porto Alegre: SBC.
doi:10.5753/wbl.2021.15776