Pommerening, F., and M. Helmert. “A Normal Form for Classical Planning Tasks”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25, no. 1, Apr. 2015, pp. 188-92, doi:10.1609/icaps.v25i1.13733.