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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2017}}

Papers

@inproceedings{Vampire2016:Conflicts_Models_Heuristics_Quantifier,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8CX},
  doi       = {10.29007/jmd3},
  pages     = {1-15},
  year      = {2017}}


@inproceedings{Vampire2016:Theory_Specific_Reasoning_about,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/tKsj},
  doi       = {10.29007/qk21},
  pages     = {16-32},
  year      = {2017}}


@inproceedings{Vampire2016:Automating_Proof_Steps_Progress,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hfP},
  doi       = {10.29007/5zjp},
  pages     = {33-45},
  year      = {2017}}


@inproceedings{Vampire2016:Better_Proof_Output_Vampire,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/1DlL},
  doi       = {10.29007/5dmz},
  pages     = {46-60},
  year      = {2017}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/QDj},
  doi       = {10.29007/qcd7},
  pages     = {61-73},
  year      = {2017}}


@inproceedings{Vampire2016:Evaluating_Automated_Theorem_Provers,
  author    = {Javier Álvez 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4LFw},
  doi       = {10.29007/hplh},
  pages     = {74-82},
  year      = {2017}}