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