@article{Zhu:2015jt,
  author = "Zhu, Yaxiong",
  title = "{Computation of Hitting Sets with Intersection Search Strategy in Model-based Diagnosis}",
  doi = "10.22323/1.259.0053",
  journal = "PoS",
  year = 2015,
  volume = "CENet2015",
  pages = "053"
}