Lemmas on Demand for Lambdas (bibtex)
by Mathias Preiner, Aina Niemetz, Armin Biere
Reference:
Lemmas on Demand for LambdasMathias Preiner, Aina Niemetz, Armin BiereDIFTS, volume 832 of CEUR Workshop Proceedings, 2013.
Bibtex Entry:
@inproceedings{preiner2013lemmas,
title = {Lemmas on Demand for Lambdas},
url = {/pubpdf/Lemmas_on_Demand_for_Lambdas.pdf},
series = {CEUR Workshop Proceedings},
booktitle = {DIFTS},
author = {Preiner, Mathias and Niemetz, Aina and Biere, Armin},
volume = {832},
year = {2013},
}
Powered by bibtexbrowser