Die Rolle der mathematischen Logik in der Künstlichen Intelligenz - Cremers, A; Eder, E; Hinze, R (1993)