Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken - Schmitt, Peter H. 1948-; Dix, Jürgen 1961-; Hähnle, R. (1990)