Bäckström, C. Some Fixed Parameter Tractability Results for Planning With Non-Acyclic Domain-Transition Graphs. AAAI 2015, 29.