1. Brewka, G. (1990). On minimal change: A critique of the architecture of non-monotonic TMS. Technical report, GMD, Bonn.
2. Brown, A. and Shoham, Y. (1989). New results on semantical nonmonotonic reasoning. In Proc. Second Int. Workshop on Non-monotonic Reasoning, pp. 19?26. Springer-Verlag.
3. Buchanan, B. G. and Shortliffe, E. H. (1984). Human engineering of medical expert systems. In Buchanan, B. G. and Shortliffe, E. H. (Eds.), Rule-Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project, Ch. 32, pp. 599?612. Addison-Wesley, Reading MA.
4. deKleer, J. (1986a). An assumption-based TMS. Artificial Intelligence (Netherlands), 28(2), 127?162.
5. deKleer, J. (1986b). Problem solving with the ATMS. Artificial Intelligence (Netherlands), 28(2), 197?224.