Graph-based Consistency Checking in Spatial Information System. - Jun Kong; Kang Mang (HCC, 2003)