1. C. Alchourrón, P. Gärdenfors and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 1985.
2. C. Baral, S. Kraus, J. Minker and V.S. Subrahmanian. Combining knowledge bases consisting of first order theories. Computational Intelligence, 8(1), 1992.
3. A. Bauval and L. Cholvy. Automated reasoning in case of inconsistency. In Proceedings of the first World Conference on Fundamentals of AI (WOCFAI), Paris, July 1991.
4. P. Besnard. Logics for automated reasoning in the presence of contradictions. In Proc of Artificial Intelligence: Methodology, systems and applications, North Holland, 1990.
5. Y. Breitbart et al. Panel: interoperability in multidatabases: semantic and systems issues. In Proc of VLDB, pages 561–562, 1991.