Volume
@proceedings{Vampire2014and2015,
title = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2016}}
Papers
@inproceedings{Vampire2014and2015:My_Life_with_Automatic,
author = {Jasmin Christian Blanchette},
title = {My Life with an Automatic Theorem Prover},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1Xsm},
doi = {10.29007/5b7w},
pages = {1-7},
year = {2016}}
@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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/LN},
doi = {10.29007/x6b7},
pages = {8-28},
year = {2016}}
@inproceedings{Vampire2014and2015:SAT_solving_experiments_Vampire,
author = {Armin Biere and Ioan Dragan and Laura Kovács and Andrei Voronkov},
title = {SAT solving experiments in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Ws},
doi = {10.29007/5l47},
pages = {29-32},
year = {2016}}
@inproceedings{Vampire2014and2015:Using_Vampire_Soundness_Proofs,
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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/46n},
doi = {10.29007/22x6},
pages = {33-51},
year = {2016}}
@inproceedings{Vampire2014and2015:Reasoning_About_Loops_Using,
author = {Laura Kovács and Simon Robillard},
title = {Reasoning About Loops Using Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7T1v},
doi = {10.29007/tcvj},
pages = {52-62},
year = {2016}}
@inproceedings{Vampire2014and2015:Uses_SAT_Solvers_Vampire,
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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZG9},
doi = {10.29007/4w68},
pages = {63-69},
year = {2016}}
@inproceedings{Vampire2014and2015:Challenges_Evaluating_New_Feature,
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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {38},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jG},
doi = {10.29007/1ffk},
pages = {70-74},
year = {2016}}
