1. Autexier, S., Benzmüller, C., Fiedler, A., Horacek, H., Vo, B.Q. Assertion-level proof representation with under-specification. In: Proceedings of the Mathematical Knowledge Management Symposium, Electronic Notes in Theoretical Computer Science (vol. 93, pp. 5–23) (2004).
2. Baker, M., Hansen, T., Joiner, R., Traum, D. The role of grounding in collaborative learning tasks. In: Dillenbourg, P. (Ed.), Collaborative Learning. Cognitive and Computational Approaches, Advances in Learning and Instruction Series (pp. 31–63). Amsterdam, The Netherlands: Pergamon (1999).
3. Baur, J. Syntax und Semantik Mathematischer Texte. Diplomarbeit, Fachrichtung Computerlinguistik. Saarbrücken, Germany. Universität des Saarlandes (1999).
4. Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B.Q., Wolska, M. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo, K. Yacef, (Eds.), AIED-03 Supplementary Proceedings, Advanced Technologies for Mathematics Education (vol. III, pp. 471–481). Australia: Sydney (2003).
5. Benzmüller, C., Horacek, H., Kruijff-Korbayová, I., Lesourd, H., Schiller, M., Wolska, M. DiaWozII – A tool for Wizard-of-Oz experiments in mathematics. In: Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI-06), Lecture Notes in Computer Science (vol. 4314, pp. 159–173). Springer-Verlag, Bremen, Germany (2006).