Vasconcelos, D., 		Paula, R., & 		Menezes, M.
2022 Jul 31.  NADIA - Natural DeductIon proof Assistant. Proceedings of the Workshop on Computing Education (WEI). [Online] :