Readings in qualitative reasoning about physical systems - Weld, Daniel S.; Kleer, Johan de (The Morgan Kaufmann series in representation and reasoning, 1990)