@conference {lansky:tra94, title = {Scope and Abstraction: Two Criteria for Localized Planning}, booktitle = {Proceedings of the Workshop on Theory Reformulation and Abstraction}, year = {1994}, author = {Lansky, Amy and Lise Getoor} }