1. A Qualitative Physics based on Confluences;de Kleer;Artificial Intelligence,1984
2. How Circuits Work;de Kleer;Artificial Intelligence,1984
3. An Assumption-based TMS;de Kleer;Artificial Intelligence,1986
4. Extending the ATMS;de Kleer;Artificial Intelligence,1986
5. Extending the ATMS;de Kleer;Artificial Intelligence,1986