Logische und funktionale Programmierung Grundlagen einer Kombination - Furbach, Ulrich 1948- (Künstliche Intelligenz, 1991)