Gordon, O.; Filmus, Y.; Salzman, O. Revisiting the Complexity Analysis of Conflict-Based Search: New Computational Techniques and Improved Bounds. SOCS 2021, 12, 64-72.