%0 Conference Paper %1 conf/cav/KovacsV13 %A Kovács, Laura %A Voronkov, Andrei %B CAV %D 2013 %E Sharygina, Natasha %E Veith, Helmut %I Springer %K dblp %P 1-35 %T First-Order Theorem Proving and Vampire. %U http://dblp.uni-trier.de/db/conf/cav/cav2013.html#KovacsV13 %V 8044 %@ 978-3-642-39798-1

@inproceedings{conf/cav/KovacsV13, added-at = {2018-10-03T00:00:00.000+0200}, author = {Kovács, Laura and Voronkov, Andrei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2346ecbd07dde15c592ca9fcfcb8baac3/dblp}, booktitle = {CAV}, crossref = {conf/cav/2013}, editor = {Sharygina, Natasha and Veith, Helmut}, ee = {https://doi.org/10.1007/978-3-642-39799-8_1}, interhash = {0768c61d52b121d5060d25557350a96c}, intrahash = {346ecbd07dde15c592ca9fcfcb8baac3}, isbn = {978-3-642-39798-1}, keywords = {dblp}, pages = {1-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:47:26.000+0200}, title = {First-Order Theorem Proving and Vampire.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2013.html#KovacsV13}, volume = 8044, year = 2013 }