Transactions And Change In Logic Databases by Burkhard Narfreitag & M. Kifer