Volume
@proceedings{Vampire2014and2015,
title = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{Vampire2014and2015:My_Life_with_an,
author = {Jasmin Christian Blanchette},
title = {My Life with an Automatic Theorem Prover},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {1--7},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1Xsm},
doi = {10.29007/5b7w}}
@inproceedings{Vampire2014and2015:Things_You_Cant_do,
author = {Geoff Sutcliffe},
title = {Things You Can't do With a Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {8--28},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/LN},
doi = {10.29007/x6b7}}
@inproceedings{Vampire2014and2015:SAT_solving_experiments_in,
author = {Armin Biere and Ioan Dragan and Laura Kov\textbackslash{}'acs and Andrei Voronkov},
title = {SAT solving experiments in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {29--32},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Ws},
doi = {10.29007/5l47}}
@inproceedings{Vampire2014and2015:Using_Vampire_in_Soundness,
author = {Sylvia Grewe and Sebastian Erdweg and Mira Mezini},
title = {Using Vampire in Soundness Proofs of Type Systems},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {33--51},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/46n},
doi = {10.29007/22x6}}
@inproceedings{Vampire2014and2015:Reasoning_About_Loops_Using,
author = {Laura Kov\textbackslash{}'acs and Simon Robillard},
title = {Reasoning About Loops Using Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {52--62},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7T1v},
doi = {10.29007/tcvj}}
@inproceedings{Vampire2014and2015:Uses_of_SAT_Solvers,
author = {Giles Reger and Martin Suda},
title = {The Uses of SAT Solvers in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {63--69},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZG9},
doi = {10.29007/4w68}}
@inproceedings{Vampire2014and2015:Challenges_of_Evaluating_New,
author = {Giles Reger and Martin Suda and Andrei Voronkov},
title = {The Challenges of Evaluating a New Feature in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
pages = {70--74},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jG},
doi = {10.29007/1ffk}}