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