@misc{W2108309071,
  author = {Raymond Reiter},
  title = {A theory of diagnosis from first principles},
  year = {1987},
  howpublished = {Artificial Intelligence},
  doi = {https://doi.org/10.1016/0004-3702(87)90062-2}
}