J. Holubec Admissible Bidirectional Heuristic Search Algorithm. 660-664 1998 ECAI db/conf/ecai/ecai98.html#Holubec98