Mendes, João, and João Marcos. " A method for automated generation of exercises with similar level of complexity." Anais do IV Workshop Brasileiro de Lógica, João Pessoa/PB, 2023. SBC, 2023, pp.17-24.