1. Traum, D., Larsson, S.: The information state approach to dialogue management. In: van Kuppevelt, J., Smith, R. (eds.) Current and new directions in discourse and dialogue, Kluwer Academic Publishers, Dordrecht (2003)
2. Buckley, M., Benzmüller, C.: A Dialogue Manager supporting Natural Language Tutorial Dialogue on Proofs. Electronic Notes in Theoretical Computer Science, To appear (2006)
3. Benzmüller, C., Sorge, V.: Ω – An open approach at combining Interactive and Automated Theorem Proving. In: Kerber, M., Kohlhase, M. (eds.) 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000), A.K. Peters, Wellesley (2000)
4. Bos, J., et al.: Dipper: Description and formalisation of an information-state update dialogue system architecture. In: Proceedings of the 4th SIGdial Workshop on Discourse and Dialogue, Sapporo, Japan (2003)
5. Horacek, H., Wolska, M.: Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. Data and Knowledge Engineering Journal 58(1), 90–106 (2006)