S. Lemons, C. Linares López, R. C. Holte, and W. Ruml, “Beam Search: Faster and Monotonic”, ICAPS, vol. 32, no. 1, pp. 222-230, Jun. 2022.