M. Abdulaziz, C. Gretton, and M. Norrish, “A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds”, ICAPS, vol. 27, no. 1, pp. 2–10, Jun. 2017.