Lawrence Birnbaum Gregg Collins Michael Freed Bruce Krulwich Model-Based Diagnosis of Planning Failures. 318-323 1990 AAAI db/conf/aaai/aaai90.html#BirnbaumCFK90