“Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction”, ICCE, Nov. 2012, doi: 10.58459/icce.2012.544.