@misc{indiciae3a74506522ed,
  title = {Efficient Model Based Diagnosis},
  author = {Nico Roos},
  year = {2022},
  doi = {10.1049/ise.1993.0011},
  url = {https://arxiv.org/abs/2209.09819},
  note = {Source identifier: 2209.09819}
}