1. A M Frisch and A G Cohn, “Thoughts and Afterthoughts on the 1988 AAAI Workshop on Hybrid Reasoning,” AI Magazine, vol. 11 (5), pp. 77–83, 1990.
2. C Abrams and A Frisch, An examination of the increased efficiency of sorted deduction, University of Illinois at Urbana Campaign, 1991.
3. C Beierle, U Hedstueck, U Pletat, and J Siekmann, “An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information,” LILOG Report 86, IBM Germany, Stuttgart, 1989.
4. A G Cohn, “Mechanising a Particularly Expressive Many Sorted Logic,” PhD Thesis, University of Essex, 1983.
5. A G Cohn, “On the Solution of Schubert's Steamroller in Many Sorted Logic,” Proc IJCAI 9, pp. 1169–1174, Morgan Kaufmann, Los Altos, 1985.