@inproceedings{HeuleBiere-IWIL15,
  author    = {Marijn Heule and Armin Biere},
  title     = {Clausal Proof Compression},
  booktitle = {11th International Workshop on the Implementation of Logics
  (IWIL'15)},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  pages     = {21-26},
  year      = {2016},
  publisher = {EasyChair},
}