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