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, https://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, https://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, https://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, https://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, https://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, https://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, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4LFw},
doi = {10.29007/hplh}}