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), p. 663–682. doi: 10.53660/CONJ-2016-2S60.