1. Using qualitative reasoning to understand financial arithmetic;Apte;Proc. AAAI,1986
2. Qualitative reasoning about physical systems;Bobrow,1985
3. [DEK85] De Kleer J. How circuits work, in [BOB85).
4. Analysis and Synthesis of Computer Systems;Gelenbe,1980
5. Software Design Process: Chrysalis Stage under the Control of Designers;Itoh;J. Inf. Process.,1984