Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction. ICCE 2012. https://doi.org/10.58459/icce.2012.544.