Practical Undoability Checking via Contingent Planning. - Jeanette Daum; Álvaro Torralba; Jörg Hoffmann 001; Patrik Haslum; Ingo Weber (ICAPS, 2016)