Li, J.; Gange, G.; Harabor, D.; Stuckey, P. J.; Ma, H.; Koenig, S. New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS 2020, 30, 193-201.