M. Leighton, W. Ruml, and R. Holte, “Faster Optimal and Suboptimal Hierarchical Search”, SOCS, vol. 2, no. 1, pp. 92–99, Aug. 2021.