1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530 (1985)
2. Cambridge Tracts in Theoretical Computer Science;J. Doyle,1992
3. Doyle, J.: Truth maintenance systems for problem solving. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI 1977, p. 247 (1977)
4. McAllester, D.A.: Truth maintenance. In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI 1990), pp. 1109–1116. AAAI Press, Menlo Park (1990)
5. Gärdenfors, P.: Conditionals and changes of belief. In: Niiniluoto, I., Tuomela, R. (eds.) The Logic and Epistemology of Scientific Change, pp. 381–404. North-Holland, Amsterdam (1978)