7. References

1. de Kleer, J., "An Assumption-Based TMS," Artificial Intelligence 28 (1986), 127-162.
2. Doyle, J., "A Truth Maintenance System," Artificial Intelligence 12 (1979) 231-272.
3. Festinger, L., A Theory of Cognitive Dissonance, Stanford University Press, Stanford, CA, 1957.
4. Festinger, L., Conflict, Decision, and Dissonance, Stanford University Press, Stanford, CA, 1964.