1. Alchourrón, C., Gärdenfors,. P., and Makinson,. P. (1985). On the theory of logic change: partial meet functions for contractions and revision. Journal of Symbolic Logic, 50:510–530.
2. Anderson, A. and Belnap, N. (1975). Entailment. Princeton University Press, Princeton.
3. Boutilier, C. and Becher, V. (1995). Abduction as belief revision. Artificial Intelligence, 77:43–94.
4. Brewka, G. (1989). Preferred subtheories: an extended logical framework for default reasoning. In Proceedings IJCAI-89, pages 1043–1048, Detroit, MI.
5. Bylander, T., Allemang, D., Tanner, M. C., and Josephson, J. R. (1991). The computational complexity of abduction. Artificial Intelligence, 49:25–60.