-K. H. Bläsius/U. Hedtstück/C.-R. Rollinger (Eds.): Sorts and Types in Artificial Intelligence - Proceedings 1989, Springer-Verlag 1990 (Subseries LNAI)