João Mendes and João Marcos. 2023. A method for automated generation of exercises with similar level of complexity. In Anais do IV Workshop Brasileiro de Lógica, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 17-24. DOI: https://doi.org/10.5753/wbl.2023.230660.