A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning. - João Carlos Gluz; Fabiane Penteado; Marcel Mossmann; Lucas Gomes; Rosa Vicari (Intelligent Tutoring Systems, 2014)