Forbus, K., & Stevens, A.Using qualitative simulation to generate explanations (Tech. Note). San Diego, Calif: Navy Personnel Research and Development Center, 1980.
Roberts, B., & Forbus, K.The STEAMER mathematical simulation (Tech. Note). San Diego, Calif: Navy Personnel Research and Development Center, August 1980.
DeKleer, J.Causal and teleological reasoning in circuit recognition. Unpublished doctoral thesis, Massachusetts Institute of Technology, 1979.
DeKleer, J. The origin and resolution of ambiguities in causal arguments. In B. Buchanan (Ed.),Proceedings of the 6th International Joint Conference on Artificial Intelligence. Stanford, Calif: Computer Science Department, Stanford University, 1979.