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