Ernest Davis Nicholas Mark Gotts Anthony G. Cohn Constraint Networks of Topological Relations and Convexity. 241-280 1999 4 Constraints 3 db/journals/constraints/constraints4.html#DavisGC99