First-Order Theorem Proving and Vampire (bibtex)
by Laura Kovács, Andrei Voronkov
Reference:
First-Order Theorem Proving and VampireLaura Kovács, Andrei VoronkovProceedings of the 25th International Conference on Computer Aided Verification (CAV), pages 1-35, 2013.
Bibtex Entry:
@inproceedings{KovacsCAV13,
title = {First-Order Theorem Proving and Vampire},
ee = {http://dx.doi.org/10.1007/978-3-642-39799-8_1},
booktitle = {Proceedings of the 25th International Conference on Computer Aided
Verification (CAV)},
author = {Laura Kov{\'a}cs and Andrei Voronkov},
url = {/pubpdf/First-Order_Theorem_Proving_and_Vampire.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {1-35},
crossref = {DBLP:conf/cav/2013},
}
Powered by bibtexbrowser