A. Ramos, R. Queiroz, and A. Oliveira.
"Conversão de Termos, Homotopia, e Estrutura de Grupóide", in <em>Anais do II Workshop Brasileiro de Lógica</em>, Evento Online, 2021, pp. 33-40, doi: <a href="https://doi.org/10.5753/wbl.2021.15776">https://doi.org/10.5753/wbl.2021.15776</a>.