@inproceedings{92326,
  author = {Roderick Bloem and Sharad Malik and Matthias Schlaipfer and Georg Weissenbacher},
  title = {Reduction of Resolution Refutations and Interpolants via Subsumption.},
  year = {2014},
  journal = {Haifa Verification Conference},
  pages = {188{\textendash}203},
  language = {eng},
}