Effiziente Integritätssicherung in deduktiven Datenbanksystemen durch Logikprogrammtransformation. - Renate Hums (1992)