Jun Kong, Kang Mang. Graph-based Consistency Checking in Spatial Information System. In 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand. pages 153-160, IEEE Computer Society, 2003.