Results on Reasoning about Updates in Transaction Logic.

Anthony J. Bonner Michael Kifer Results on Reasoning about Updates in Transaction Logic. 166-196 1998 conf/dagstuhl/1998change Transactions and Change in Logic Databases http://link.springer.de/link/service/series/0558/bibs/1472/14720166.htm db/conf/dagstuhl/change9697.html#BonnerK98b