T. Eiter, E. Erdem, W. Faber: "Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework"; 2004.
http://www.kr.tuwien.ac.at/research/reports/rr0403.ps.gz