Consistency checking for Euclidean spatial constraints: A dimension graph approachXuan LiuS. Shekharet al.2000ICTAI 2000