Mendes, J., & 		Marcos, J.
(2023).
 A method for automated generation of exercises with similar level of complexity.
In <em>Proceedings of the 4th Brazilian Workshop of Logic</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/wbl.2023.230660