Vasconcelos, D., 		Paula, R., & 		Menezes, M.
(2022).
NADIA - Natural DeductIon proof Assistant.
In <em>Anais do XXX Workshop sobre Educação em Computação</em>, (pp. 427-438). Porto Alegre: SBC.
doi:10.5753/wei.2022.222875