Hermann Kaindl Gerhard Kainz Bidirectional Heuristic Search Reconsidered http://arxiv.org/abs/cs.AI/9712102 1997 CoRR cs.AI/9712102 db/journals/corr/corr9712.html#cs-AI-9712102 informal publication