J. Tozicka, J. Jakubuv, M. Svatos, and A. Komenda, “Recursive Polynomial Reductions for Classical Planning”, ICAPS, vol. 26, no. 1, pp. 317-325, Mar. 2016.