B. Nebel, “The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True”, ICAPS, vol. 33, no. 1, pp. 304–313, Jul. 2023.