J. Daum, Álvaro Torralba, J. Hoffmann, P. Haslum, and I. Weber, “Practical Undoability Checking via Contingent Planning”, ICAPS, vol. 26, no. 1, pp. 106–114, Mar. 2016.