Xiaotong Zhang Weiming Liu Sanjiang Li Mingsheng Ying Reasoning with Cardinal Directions: An Efficient Algorithm. 387-392 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#ZhangLLY08