O. Gordon, Y. Filmus, and O. Salzman, “Revisiting the Complexity Analysis of Conflict-Based Search: New Computational Techniques and Improved Bounds”, SOCS, vol. 12, no. 1, pp. 64-72, Jul. 2021.