Vampire 2016:BibTeX Entries

Volume

@proceedings{Vampire2016,
  title     = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{Vampire2016:Conflicts_Models_and_Heuristics,
  author    = {Andrew Reynolds},
  title     = {Conflicts, Models and Heuristics for Quantifier Instantiation in SMT},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {1--15},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8CX},
  doi       = {10.29007/jmd3}}

@inproceedings{Vampire2016:Theory_Specific_Reasoning_about_Loops,
  author    = {Yuting Chen and Laura Kovacs and Simon Robillard},
  title     = {Theory-Specific Reasoning about Loops with Arrays using Vampire},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {16--32},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/tKsj},
  doi       = {10.29007/qk21}}

@inproceedings{Vampire2016:Automating_Proof_Steps_of,
  author    = {Sylvia Grewe and Sebastian Erdweg and Mira Mezini},
  title     = {Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {33--45},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hfP},
  doi       = {10.29007/5zjp}}

@inproceedings{Vampire2016:Better_Proof_Output_for,
  author    = {Giles Reger},
  title     = {Better Proof Output for Vampire},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {46--60},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1DlL},
  doi       = {10.29007/5dmz}}

@inproceedings{Vampire2016:Global_Subsumption_Revisited_Briefly,
  author    = {Giles Reger and Martin Suda},
  title     = {Global Subsumption Revisited (Briefly)},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {61--73},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QDj},
  doi       = {10.29007/qcd7}}

@inproceedings{Vampire2016:Evaluating_Automated_Theorem_Provers,
  author    = {Javier \textbackslash{}'Alvez and Paqui Lucio and German Rigau},
  title     = {Evaluating Automated Theorem Provers Using Adimen-SUMO},
  booktitle = {Vampire 2016. Proceedings of the 3rd Vampire Workshop},
  editor    = {Laura Kovacs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  pages     = {74--82},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4LFw},
  doi       = {10.29007/hplh}}