Werner Nutt On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. 113-124 http://link.springer.de/link/service/series/0558/bibs/1701/17010113.htm 1999 conf/ki/1999 KI db/conf/ki/ki99.html#Nutt99