Readings in qualitative reasoning about physical systems - Forbus, Kenneth D. (Morgan Kaufmann Publishers, 1990)