Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction. ICCE. Published online November 26, 2012. doi:10.58459/icce.2012.544