Avila-Santos, Anderson, Luiz Rodrigues, Thomaz E. V. da Veloso, Thales Vieira, Marcelo Marinho, Valmir Macario, Diego Dermeval, Ig Ibert Bittencourt, and Seiji Isotani. " Design, Development and Evaluation of a Lightweight Knowledge-based System for Theoretically-grounded Math Error Classification." Anais do XXXV Simpósio Brasileiro de Informática na Educação, Rio de Janeiro/RJ, 2024. SBC, 2024, pp.1756-1769.