F. Pommerening and M. Helmert, “A Normal Form for Classical Planning Tasks”, ICAPS, vol. 25, no. 1, pp. 188-192, Apr. 2015.