Abdulaziz, Mohammad, Charles Gretton, and Michael Norrish. 2017. “A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds”. Proceedings of the International Conference on Automated Planning and Scheduling 27 (1):2-10. https://doi.org/10.1609/icaps.v27i1.13837.