Inkonsistenzen in Deduktiven Datenbanken door Guido Moerkotte