@inproceedings{ aaai97,
  title = {Representing Actions and State Constraints in Model-Based Diagnosis}
}
,
  url = {aaai97.pdf}
}
,
  booktitle = {Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI'97)}
}
,
  author = {McIlraith, S. }
}
,
  year = {1997}
}
,
  month = {July 27-31}
}
,
  address = {Providence, Rhode Island, USA}
}
,
  pages = {43-49}
}