Mendes, J., & 		Marcos, J.
2023 ago  6.  A method for automated generation of exercises with similar level of complexity. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :