1. Bernasconi C., Rivoira S., Termini S. On the notion of uncertain belief revision systems, Extended Abstracts of the Third International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, Paris, 1990, 458–460.
2. Cayrol M., Tayrac P. ARC: un ATMS basé sur la résolution CAT-correcte. Revue d'Intelligence Artificielle (Hermès, Paris), 3(3), 1989, 19–39.
3. De Kleer J. An assumption-based TMS. Artificial Intelligence, 28, 1986, 127–162.
4. De Kleer J. Extending the ATMS. Artificial Intelligence, 28, 1986, 163–196.
5. De Kleer J. A general labeling algorithm for assumption-based truth maintenance, Proc. of the Nat. Conf. on Artificial Intelligence, Saint Paul, Minnesota, Aug. 21–26, 1988, 188–192.