Vampire 2014 and 2015:BibTeX Entries

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}}