Stefan Decker Christoph Lingenfelder Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. 61-64 1994 WLP db/conf/wlp/wlp94.html#DeckerL94