ice. Somewhere or other, 2003. Ben94. Brandon Bennett. Spatial reasoning with propositional logics. In Principles of Knowledge Repre- sentation and Reasoning: Proceedings of the 4th International Conference (KR94), pages 51-62. Morgan Kaufmann, 1994. BF97. A Blum and M Furst. Fast planning through planning graph ana