Mendes, João, E 		Marcos, João.
" A method for automated generation of exercises with similar level of complexity" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (6 agosto 2023)