Rolf Backofen,
Lutz Euler and
Günther Görz. Towards the Integration of Functions, Relations and Types in an AI Programming Language. In
H. Marburger editor, 14th German Workshop on Artificial Intelligence (GWAI '90), September 10-14, Vol. 251:297-306 of Informatik-Fachberichte, Springer, Eringerfeld, Germany, 1990. google
