A Model-Theoretic View on Qualitative Constraint Reasoning

Open in new window