Readings in qualitative reasoning about physical systems - Weld, Daniel S. (Morgan Kaufmann Publishers, 1990)