Gómez, R. N.; Hernández, C.; Baier, J. A. Solving Sum-of-Costs Multi-Agent Pathfinding With Answer-Set Programming. AAAI 2020, 34, 9867-9874.