Rolf Backofen, Lutz Euler, Günther Görz. Towards the Integration of Functions, Relations and Types in an AI Programming Language. In Heinz Marburger, editor, GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld, 10.-14. September 1990, Proceedings. Volume 251 of Informatik-Fachberichte, pages 297-306, Springer, 1990.
Abstract is missing.