@inproceedings{BK13,
  author    = {S. Ben David and O. Kupferman},
  title     = {A Framework for Ranking Vacuity Results},
  booktitle = atva13,
  pages     = {148-162},
  publisher = {Springer},
  series    = lncs, 
  volume    = {8172},
  year      = {2013}
}