“Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction”. 2012. International Conference on Computers in Education, November. https://doi.org/10.58459/icce.2012.544.