Hermann Kaindl Gerhard Kainz Bidirectional Heuristic Search Reconsidered. 283-317 1997 7 J. Artif. Intell. Res. (JAIR) db/journals/jair/jair7.html#KaindlK97