1. Bidoit, N., Maabout, S.: Update Programs Versus Revision Programs. In: “Non-Monotonic Extensions of Logic Programming”. Proc. of the Workshop at the International Logic Programming Conference, JICSLP'96. (September 1996). (To appear in LNAI 1216)
2. Dayal, U., Hanson,E., and Widom, J.: Active database systems. In: W. Kim, editor, Modern Database Systems. Addison Wesley (1995) 436–456
3. Eiter, T., Gottlob, G.: On the complexity of prepositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57 (1992) 227–270
4. Fagin, R., Kuper, G., Ullman, J., and Vardi, M.Y.: Updating Logical Databases. In: P. Kanellakis, editor, Advances in Computing Research, JAI Press 3 (1986) 1–18
5. Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: R. Kovalsky and K. Bowen, editors, Proc. of the 5th Intern. Symp. on Logic Programming. Cambridge, MA, MIT Press (1988) 1070–1080