Daum, J.; Torralba, Álvaro; Hoffmann, J.; Haslum, P.; Weber, I. Practical Undoability Checking via Contingent Planning. ICAPS 2016, 26, 106-114.