Editing Reason maintenance (section)

==Other references==
* Bridgeland, D. M. & Huhns, M. N.,  Distributed Truth Maintenance. Proceedings of. AAAI–90: Eighth National Conference on Artificial Intelligence, 1990.
* J. de Kleer (1986). An assumption-based TMS. ''Artificial Intelligence'', 28:127–162.
* J. Doyle. A Truth Maintenance System. AI. Vol. 12. No 3, pp.&nbsp;251–272. 1979.
* U. Junker and K. Konolige (1990). Computing the extensions of autoepistemic and default logics with a truth maintenance system. In ''Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90)'', pages 278–283. [[MIT Press]].
* Mason, C. and Johnson, R. DATMS: A Framework for Assumption Based Reasoning, in Distributed Artificial Intelligence, Vol. 2, [[Morgan Kaufmann Publishers]], Inc., 1989.
* D. A. McAllester. A three valued maintenance system. [[Massachusetts Institute of Technology]], Artificial Intelligence Laboratory. AI Memo 473. 1978.
* G. M. Provan (1988). A complexity analysis of assumption-based truth maintenance systems. In B. Smith and G. Kelleher, editors, ''Reason Maintenance Systems and their Applications'', pages 98–113. Ellis Horwood, New York.
* G. M. Provan (1990). The computational complexity of multiple-context truth maintenance systems. In ''Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI'90)'', pages 522–527.
* R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In ''Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)'', pages 183–188. [https://web.archive.org/web/20050424041254/http://www2.parc.com/spl/members/dekleer/Publications/Foundations%20of%20Assumption-Based%20Truth%20Maintenance%20Systems.pdf  PDF]