Gefen, A., and R. Brafman. “Pruning Methods for Optimal Delete-Free Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 56-64, doi:10.1609/icaps.v22i1.13522.