State-space search : algorithms, complexity, extensions, and applications / - Zhang, Weixiong. (Springer, 1999)