Nebel, Bernhard. “The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 304-13, doi:10.1609/icaps.v33i1.27208.