J. Allgayer, and C. Reddig-Siekmann. Sorts and Types in Artificial Intelligence, volume 418 of Lecture Notes in Computer Science, page 240-285. Springer, (1989)
J. Allgayer, and E. Franconi. ECAI Workshop on Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Computer Science, page 13-29. Springer, (1992)