@misc{indiciae6ff817dec2ae,
  title = {Efficient Model-Based Diagnosis Engine},
  author = {Fijany, Amir and Vatan, Farrokh and Barrett, Anthony and James, Mark and Mackey, Ryan and Williams, Colin},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20090032079},
  note = {Source identifier: 20090032079}
}