@inproceedings{Zhu:2015jt,
  author = "Zhu, Yaxiong",
  title = "{Computation of Hitting Sets with Intersection Search Strategy in Model-based Diagnosis}",
  doi = "10.22323/1.259.0053",
  booktitle = "Proceedings of The 5th International Conference on Computer Engineering and Networks {\textemdash} PoS(CENet2015)",
  year = 2015,
  volume = "259",
  pages = "053"
}