Recent advances in qualitative physics - Faltings, Boi; Struss, Peter (MIT Press series in artificial intelligence, 1992)