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.