J. Allgayer, и E. Franconi. ECAI Workshop on Knowledge Representation and Reasoning, том 810 из Lecture Notes in Computer Science, стр. 13-29. Springer, (1992)
J. Allgayer, и C. Reddig-Siekmann. Sorts and Types in Artificial Intelligence, том 418 из Lecture Notes in Computer Science, стр. 240-285. Springer, (1989)