R. Feldmann, G. Brewka, and S. Wenzel. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), page 503--514. (2006)
C. Zinn, J. Moore, and M. Core. ITS '02: Proceedings of the 6th International Conference on Intelligent Tutoring Systems, page 574--584. London, UK, Springer-Verlag, (2002)