ropositional 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 analysis. Artificial intelligence, 1997. BH10. Bundzel and Hashimoto. Objec