Lima, E.B. de e Milanez, A.F. 2022. Fy Maria: um protótipo de sistema que auxilia o processo de apresentação de provas. Conjecturas. 22, 16 (nov. 2022), 663–682. DOI:https://doi.org/10.53660/CONJ-2016-2S60.