Daum, J., Torralba, Álvaro, Hoffmann, J., Haslum, P., & Weber, I. (2016). Practical Undoability Checking via Contingent Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 26(1), 106–114. https://doi.org/10.1609/icaps.v26i1.13751