Representing Actions and State Constraints in Model-Based Diagnosis

Sheila A. McIlraith. Representing Actions and State Constraints in Model-Based Diagnosis. In AAAI/IAAI. pages 43-49, 1997.