R. N. Gómez, C. Hernández, and J. A. Baier, “Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming”, AAAI, vol. 34, no. 06, pp. 9867-9874, Apr. 2020.