Tozicka, J.; Jakubuv, J.; Svatos, M.; Komenda, A. Recursive Polynomial Reductions for Classical Planning. ICAPS 2016, 26, 317-325.