Ramos, A., 		Queiroz, R., & 		Oliveira, A.
(2021).
 Term conversion, Homotopy and Groupoid structure.
In <em>Proceedings of the 2nd Brazilian Workshop of Logic</em>, (pp. 33-40). Porto Alegre: SBC.
doi:10.5753/wbl.2021.15776