Nebel, B. The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True. ICAPS 2023, 33, 304-313.