@inproceedings{DBLP:conf/fmcad/PreinerNB13,
  author    = {Mathias Preiner and
               Aina Niemetz and
               Armin Biere},
  title     = {Lemmas on Demand for Lambdas},
  booktitle = {DIFTS@FMCAD},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1130},
  publisher = {CEUR-WS.org},
  year      = {2013}
}