1. Angele, J.: Operationalisierung des Modells der Expertise mit KARL. DISKI, Infix Verlag (1993)
2. Brown, T.L., LeMay, H.E., Bursten, B.E., Burdge, J.R.: Chemistry The Central Science, 9th edn. Prentice Hall, Englewood Cliffs (2003)
3. Boyer, R., Kaufmann, M., Moore, J.: The Boyer-Moore Theorem Prover and Its Interactive Enhancement. Computers and Mathematics with Applications 29(2), 27–62 (1995)
4. Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: Meersman, R., et al. (eds.) Database Semantics: Semantic Issues in Multimedia Systems, Kluwer Academic, Dordrecht (1999)
5. Felty, A., Miller, D.: Proof Explanation and Revision. University of Penn, Tech. Report MSCIS8817 (1987), http://cm.bell-labs.com/who/felty/abstracts/proof87.html