On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE. - Kilian Hu; David Speck 001 (SOCS, 2022)