N. T. Le and N. Huse. Evaluation of the Formal Models for the Socratic Method. Proceedings of the 13th International Conference on Intelligent Tutoring Systems (ITS2016), Springer Verlag, volume 9684, 2016.