Sanjiang Li Huaiqing Wang RCC8 binary constraint network can be consistently extended. 1-18 2006 170 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2005.08.003 db/journals/ai/ai170.html#LiW06