@InProceedings{sara09,
  author =       {Rui Abreu and Arjan J.~C. van Gemund},
  title =        {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis},
  editor =       {Vadim Bulitko and J. Christopher Beck},
  booktitle =    {Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09)},
  year =         {2009},
  month =        {8 -- 10 July},
  address =      {Lake Arrowhead, California, USA},
  publisher =    {AAAI Press}
}