1. van Ditmarsch H, vander Hoek W, Kooi B. Public announcement and belief revision. In: Schmidt R A, Pratt-Hartmann I, Reynolds M, et al., eds. Advances in Modal Logic. London: King’s College Publications, 2004. 62–73
2. Roorda J W, vander Hoek W, Meyer J J. Iterated belief change in multi-agent systems logic. J IGPL, 2003, 11(2): 223–246
3. Reter T, Fink M, Sabbatini G, et al. On properties of update sequences based on causal rejection. Theory Pract Logic Program, 2002, 2: 711–767
4. Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Comput, 1991, 9: 365–386
5. Nemela I, Simons P. Efficient implementation of the well-founded and stable model semantics. In: Maher M J, ed. Proc of the International Joint Conference and Symposium on Logic Programming. Cambridge MA: The MIT Press, 1996. 289–303