Beierle. C. Types, modules and databases in the logic proramming language PROTOS-L. In Sorts and Types in Artifical Intelligence. Workshop Proceedings, pages 73-110, Eringerfeld West Germany, April 1989.

Languages mentioned

• PROTOS-L {1989}