A Model-Theoretic View on Qualitative Constraint Reasoning