On Redundant Topological Constraints

Open in new window