Editorial Board
Qualitative reasoning about physical systems: An introduction
A qualitative physics based on confluences
Qualitative process theory
Commonsense reasoning about causality: Deriving behavior from structure
How circuits work
Qualitative analysis of MOS circuits
Diagnostic reasoning based on structure and behavior
The use of design descriptions in automated diagnosis
Verify: A program for proving correctness of digital hardware designs