Logische und Funktionale Programmierung Grundlagen einer Kombination - Furbach, Ulrich 1948- (Artificial Intelligence / Künstliche Intelligenz, 1991)