1. 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 Arificial Intelligence, Vancouver, 1981.
2. W. Bib el. Matings in matrices. In Comm. of the ACM, 26 1983.
3. W. Bibel. Automated theorem proving. Vieweg Verlag, Braunschweig, 1987.
4. W. Ertel. Back propagation with temperature parameter and random pattern presentation. In ATP-Report, Technische Universität München, 1988.
5. Kai-Fu Lee and Sanjoy Mohajan. A pattern classification approach to evaluation function learning. Artificial Intelligence, 36, 1988.