1. John R. Anderson and Christian Lebiere. The Atomic Components of Thought. Lawrence Erlbaum, 1998.
2. LNAI;C. Benzmüller,1997
3. Thierry Coquand and Gérard Huet. The Calculus of Constructions. Information and Computation, 76(2/3):95–120, 1988.
4. Armin Fiedler. Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs. In Thomas Dean, ed., Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pages 358–363, Stockholm, Sweden, 1999. Morgan Kaufmann.
5. Armin Fiedler. Dialog-driven adaptation of explanations of proofs. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, 2001. In press.