Trave-Massuyes, L.; Ironi, L.; Dague, P. Mathematical Foundations of Qualitative Reasoning. AIMag 2003, 24, 91.