@inproceedings{ sohBiaMcIKR10,
  title = {Diagnosis as Planning Revisited},
  url = {1265066965_},
  booktitle = {Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)},
  author = {Shirin Sohrabi and Jorge A. Baier and Sheila A. McIlraith},
  month = {May},
  year = {2010},
  address = {Toronto, Canada}
}