A. Prasad Sistla Clement T. Yu Reasoning about Qualitative Spatial Relationships. 291-328 2000 25 J. Autom. Reasoning 4 db/journals/jar/jar25.html#SistlaY00