[15] Qualitative Physics and Model Based Reasoning

QP Theory: 
   Forbus, K. D., Qualitative Process Theory, Artificial Intelligence,
   24:85-168, 1984.

QSIM:
   Kuipers, B., Qualitative Reasoning with Causal Models in 
   Diagnosis of Complex Systems, In D. S. Weld & J. deKleer, editors,
   Readings in Qualitative Reasoning about Physical Systems, 
   pages 257-274, chapter 10, Morgan Kaufmann Publishers, 1989.

MBR-based Diagnosis:
   Davis, R., Diagnostic Reasoning Based on Structure and Behavior,
   Artificial Intelligence, 24:347-410, 1984.

Function-based MBR:
   Sticklen, J., Chandrasekaran, B., & Bond, W. 
   Distributed Causal Reasoning. Knowledge Acquisition, 1:139-162, 1989.