Qualitative reasoning modeling and the generation of behavior - Werthner, Hannes (Springer, 1994)