Daum, Jeanette, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, and Ingo Weber. 2016. “Practical Undoability Checking via Contingent Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):106-14. https://doi.org/10.1609/icaps.v26i1.13751.