Ronald de Haan, Martin Kronegger, Andreas Pfandler. Fixed-parameter Tractable Reductions to SAT for Planning. Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina, 2015.