1. D. Benanev, A.L. Brown, and D.E. Gaucas. An Algebraic Foundation for Truth Maintenance. In Proc. IJCAI, pages 973–980, 1987.
2. R.M. Bodington, G.D. Sullivan, and K.D. Baker. Experiments on the Use of the ATMS to Label Features for Object Recognition. In Proc. of ECCV-90, pages 542–551, 1990.
3. John W. Collins and Dennis DeCoste. CATMS: An ATMS Which Avoids Label Explosions. In Proc. of AAAI-91, pages 281–287, 1991.
4. Johan de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127–162, 1986.
5. Johan de Kleer. Focusing on probable diagnoses. Proc. of AAAI-91, pages 842–848, 1991.