R. Gómez, C. Hernández, and J. Baier, “Compiling Cost-Optimal Multi-Agent Pathfinding to ASP”, SOCS, vol. 10, no. 1, pp. 174–175, Sep. 2021.