Mendes, J., & 		Marcos, J.
2023 Aug  6.  A method for automated generation of exercises with similar level of complexity. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :