1. W. Bibel. Matings in Matrices. In Comm. of the ACM, 26 1983.
2. K. Bläsius, N. Eisinger, J. Siekmann, G. Smolka, A. Herold, and C. Walther. The Markgraf Karl refutation proof procedure. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, Vancouver, 1981.
3. W. Ertel. Back-Propagation with Temperature Parameter and Random Pattern Presentation. Techn. Report FKI-122-90, Technische Universität München, 1990.
4. W. Ertel, J. Schumann, and C.B. Suttner. Learning Heuristics for a Theorem Prover using Back Propagation. In Proceedings of the 5. ÖGAI-Conference, Igls, Austria, 1989. Springer.
5. K.F. Lee and S. Mohajan. A Pattern Classification Approach to Evaluation Function Learning. Artificial Intelligence, 36, 1988.