Ronen I. Brafman. Reachability, Relevance, Resolution and the Planning as Satisfiability Approach. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 976-981, Morgan Kaufmann, 1999.
Abstract is missing.