Gottlob (1996). The complexity of nested counterfactuals and iterated knowledge base revisions. Journal of Computer and System Sciences, 53(3):497–512. R. Fagin, J. D. Ullman, and M. Y. Vardi (1983). On the semantics of updates in databases. In Proceedings of the Second ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'83), pages 352–365. M. A. Falappa, G. Kern-Isberner, G. R. Simari (2002): Explanations, belief revision and defeasible reasoning. Artificial Intelligence, 141(1–2): 1–28. M. Freund and D. Lehmann (2002). Belief Revision and Rational Inference. Arxiv preprint cs.AI/0204032. N. Friedman and J. Y. Halpern (1994). A knowledge-based framework for belief change, part II: Revision and update. In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), pages 190–200. A. Fuhrmann (1991). Theory contraction through base contraction. Journal of Philosophical Logic, 20:175–203. D. Gabbay, G. Pigozzi, and J. Woods (2003). Controlled Revision – An algorithmic approach for belief revision, Journal of Logic and Computation, 13(1): 15–35. P. Gärdenfors and Williams (2001). Reasoning about Categories in Conceptual Spaces, in the Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 385–392. P. Gärdenfors and D. Makinson (1988). Revision of knowledge systems using epistemic entrenchment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'88), pages 83–95. P. Gärdenfors and H. Rott (1995). Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, pages 35–132. Oxford University Press. G. Grahne and Alberto O. Mendelzon (1995). Updates and subjunctive queries. Information and Computation, 2(116):241–252. G. Grahne, Alberto O. Mendelzon, and P. Revesz (1992). Knowledge transformations. In Proceedings of the Eleventh ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'92), pages 246–260. S. O. Hansson (1999). A Textbook of Belief Dynamics. Dordrecht: Kluwer Academic Publishers. A. Herzig (1996). The PMA revised. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 40–50. A. Herzig (1998). Logics for belief base updating. In D. Dubois, D. Gabbay, H. Prade, and P. Smets, editors, Handbook of defeasible reasoning and uncertainty management, volume 3 – Belief Change, pages 189–231. Kluwer Academic Publishers. A. Karol and M-A Williams (2005). Understanding Human Strategies for Belief Revision: Conference on Theoretical Aspects of Rationality & Knowledge (TARK) Halpern, J. & VanderMeyden (eds). H. Katsuno and A. O. Mendelzon (1991). On the difference between updating a knowledge base and revising it. In Proceedings