@inproceedings{ sohBiaMcIKR10,
  title = {Diagnosis as Planning Revisited}
}
,
  url = {1273446217_KR10-014.pdf}
}
,
  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}
}
,
  year = {2010}
}
,
  month = {May}
}
,
  address = {Toronto, Canada}
}
,
  pages = {26-36}
}