C. Bäckström, “Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs”, AAAI, vol. 29, no. 1, Mar. 2015.