Vasconcelos, D., 		Paula, R., & 		Menezes, M.
2022 jul 31.  NADIA - Natural DeductIon proof Assistant. Anais do Workshop sobre Educação em Computação (WEI). [Online] :