Zhang, H.; Li, J.; Surynek, P.; Koenig, S.; Kumar, T. K. S. Multi-Agent Path Finding With Mutex Propagation. ICAPS 2020, 30, 323-332.