Gerhard Goos, Roland Dietrich, Peter Kursawe: Prolog-Arbeiten in Karlsruhe. Wissensbasierte Systeme 1987: 89-104