J. Mendes and J. Marcos. "A method for automated generation of exercises with similar level of complexity", in Anais do IV Workshop Brasileiro de Lógica, João Pessoa/PB, 2023, pp. 17-24, doi: https://doi.org/10.5753/wbl.2023.230660.