A. Ramos, R. Queiroz, and A. Oliveira.
" Term conversion, Homotopy and Groupoid structure", in <em>Proceedings of the 2nd Brazilian Workshop of Logic</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>.