Manfred A. Jeusfeld Änderungskontrolle in deduktiven Datenbanken. Infix Verlag, St. Augustin, Germany 1992 DISKI 19 3-929037-19-X