H. Zhang, J. Li, P. Surynek, S. Koenig, and T. K. S. Kumar, “Multi-Agent Path Finding with Mutex Propagation”, ICAPS, vol. 30, no. 1, pp. 323-332, Jun. 2020.