“Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction” (2012) International Conference on Computers in Education [Preprint]. doi:10.58459/icce.2012.544.