Arthur Ramos, Ruy Queiroz, and Anjolina Oliveira. 2021.
Conversão de Termos, Homotopia, e Estrutura de Grupóide. In <em>Anais do II Workshop Brasileiro de Lógica</em>, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 33-40. DOI: <a href="https://doi.org/10.5753/wbl.2021.15776">https://doi.org/10.5753/wbl.2021.15776</a>.