E. Shaham, A. Felner, J. Chen, and N. Sturtevant, “The Minimal Set of States that Must Be Expanded in a Front-to-End Bidirectional Search”, SOCS, vol. 8, no. 1, pp. 82–90, Sep. 2021.