Gómez, Rodrigo, Carlos Hernández, and Jorge Baier. 2021. “Compiling Cost-Optimal Multi-Agent Pathfinding to ASP”. Proceedings of the International Symposium on Combinatorial Search 10 (1):174-75. https://doi.org/10.1609/socs.v10i1.18477.