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. N. Huse and N. T. Le. The Formal Models for the Socratic Method. Advanced Computational Methods for Knowledge Engineering - Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA), Springer Verlag, 2016.