1. Andrews, P.B. Theorem proving via general matings. JACM 28,2 (April 1981), 193–214.
2. Bibel, W. On matrices with connections. JACM 28,4 (Oct. 1981), 633–645.
3. Brachman, R.J., Gilbert, V. Pigman, and Levesque, H.J. An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON. Proceedings of The 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, August 18–24, 1985, 532–539.
4. Cohn, A.G. On the solution of Schubert's Steamroller in many sorted logic. Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, August 1985, 1169–1174.
5. Haas, N. and Hendrix, G.G. An approach to acquiring and applying knowledge. Proceedings of the AAAI-80 National Conference on Artificial Intelligence, Stanford, CA, August 1980, 235–239.