Ramos, Arthur, Ruy J. G. B. de Queiroz, and Anjolina G. de Oliveira.
"Conversão de Termos, Homotopia, e Estrutura de Grupóide." <em>Anais do II Workshop Brasileiro de Lógica,
Evento Online, 2021</em>. SBC, 2021,  
pp.33-40.