Thorr Tjorvi Einarsson, "Bidirectional Search in Parallel", June 1993,
University of Illinois.