H. Zhang, Y. Li, J. Li, T. K. S. Kumar, and S. Koenig, “Mutex Propagation in Multi-Agent Path Finding for Large Agents”, SOCS, vol. 15, no. 1, pp. 249-253, Jul. 2022.