LIMA, E. B. de; MILANEZ, A. F. Fy Maria: um protótipo de sistema que auxilia o processo de apresentação de provas. Conjecturas, [S. l.], v. 22, n. 16, p. 663–682, 2022. DOI: 10.53660/CONJ-2016-2S60. Disponível em: https://conjecturas.org/index.php/edicoes/article/view/2016. Acesso em: 3 jul. 2024.