T. Eiter, E. Erdem, W. Faber, J. Senko: "A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution"; Fundamenta Informaticae, 79 (2007), 1-2; 25 - 69.