Towards the Integration of Functions, Relations and Types in an AI Programming Language. - Rolf Backofen; Lutz Euler; Günther Görz (GWAI, 1990)

Distributed Disjunctions for LIFE. - Rolf Backofen; Lutz Euler; Günther Görz (PDK, 1991)