Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
- 1 January 1995
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 5 (1), 27-70
- https://doi.org/10.1093/logcom/5.1.27