Volume 24, Numbers 1-3, December, 1984
Daniel G. Bobrow
: Qualitative Reasoning about Physical Systems: An Introduction.
: Commonsense Reasoning about Causality: Deriving Behavior from Structure.
: Diagnostic Reasoning Based on Structure and Behavior.
Harry G. Barrow
: VERIFY: A Program for Proving Correctness of Digital Hardware Designs.