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