@string{springer="Springer"}
@inproceedings{DBLP:conf/hvc/BloemMSW14,
  author    = {Roderick Bloem and
               Sharad Malik and
               Matthias Schlaipfer and
               Georg Weissenbacher},
    doi = "10.1007/978-3-319-13338-6_15",
  url = "http://repositum.tuwien.ac.at/obvutwoa/download/pdf/1942932",
  editor    = {Eran Yahav},
  title     = {Reduction of Resolution Refutations and Interpolants via Subsumption},
  booktitle = {Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
               18-20, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  pages     = {188--203},
  publisher = {Springer},
  year      = {2014},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hvc/BloemMSW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}