Vasconcelos, Davi, Robson Teixeira Paula, and Maria Viviane Menezes.
"NADIA - Natural DeductIon proof Assistant." <em>Anais do XXX Workshop sobre Educação em Computação,
Niterói, 2022</em>. SBC, 2022,  
pp.427-438.