Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin: Local relations hold reasoning. SMC 2001: 2151-2156