Vasconcelos, Davi, Robson Teixeira Paula, and Maria Viviane Menezes.
" NADIA - Natural DeductIon proof Assistant." <em>Proceedings of the 30th Workshop on Computing Education,
Niterói, 2022</em>. SBC, 2022,  
pp.427-438.