1. Ait-Kaci,H., and R.Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Logic Programming 3 (1986), 185–215.
2. Beierle,C.: Types, Modules and Databases in the Logic Programming Language PROTOS-L. In [3], 73–110.
3. Bläsius,K.H., U.Hedtstück, and C.-R. Rollinger (Eds.): Sorts and Types in Artificial Intelligence. LNAI 418, Springer-Verlag, 1990.
4. DeGroot,D., and G.Lindstrom (eds.): Logic Programming. Functions, Relations and Equations. Prentice-Hall, Englewood Cliffs (New Jersey) 1986.
5. Furbach,U., and S.Hölldobler: Equations, Order-Sortedness and Inheritance in Logic Programming. Technical Report, FKI-110-89, TU München 1989.