T. Eiter, E. Erdem, W. Faber: "Undoing the Effects of Action Sequences"; 2004.
http://www.kr.tuwien.ac.at/research/reports/rr0405.ps.gz