Mendes, J., & Marcos, J. (2023). A method for automated generation of exercises with similar level of complexity. In Anais do IV Workshop Brasileiro de Lógica, (pp. 17-24). Porto Alegre: SBC. doi:10.5753/wbl.2023.230660