Gerhard Goos Roland Dietrich Peter Kursawe Prolog-Arbeiten in Karlsruhe. 89-104 1987 conf/wi/1987 Wissensbasierte Systeme db/conf/wi/wi1987.html#GoosDK87