1. J. F. Allen, M. E. Giuliano, and A. M. Frisch, 1983 . The Horne reasoning system . Computer Science Department, University of Rochester, Rochester, NY, Technical Report126 .
2. A. G. Cohn, 1983 . Mechanising a particularly expressive many sorted logic . Ph.D. thesis , Department of Computer Science, University of Essex, Colchester, England.
3. A. G. Cohn, 1983 . Improving the expressiveness of many sorted logic. Proceedings of the Third National Conference on Artificial Intelligence, Washington, D.C., pp. 84 -87 .
4. A. G. Cohn, 1985 . On the solution of Schubert's steamroller in many-sorted logic. Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 1169 -1174 .
5. A. M. Frisch, 1985 . An investigation into inference with restricted quantification and a taxonomic representation. S1GART Newsletter, no. 91 , pp. 91 -31 .