Login / Signup

Results on Reasoning about Updates in Transaction Logic.

Anthony J. BonnerMichael Kifer
Published in: Transactions and Change in Logic Databases (1998)
Keyphrases