Sheila A. McIlraith Representing Actions and State Constraints in Model-Based Diagnosis. 43-49 1997 AAAI/IAAI db/conf/aaai/aaai97.html#McIlraith97