Volume
@proceedings{Vampire17,
title = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{Vampire17:Theorem_recycling_for_Theorem,
author = {Nikolaj Bjorner and Lev Nachmanson},
title = {Theorem recycling for Theorem Proving},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {1--8},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qGfG},
doi = {10.29007/r58f}}
@inproceedings{Vampire17:Light_Weight_Integration_of_SAT,
author = {Stephan Schulz},
title = {Light-Weight Integration of SAT Solving into First-Order Reasoners -- First Experiments},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {9--19},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/94vW},
doi = {10.29007/89kc}}
@inproceedings{Vampire17:An_Inference_Rule_for,
author = {Simon Robillard},
title = {An Inference Rule for the Acyclicity Property of Term Algebras},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {20--32},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NVXh},
doi = {10.29007/tlw4}}
@inproceedings{Vampire17:Local_proofs_and_AVATAR,
author = {Giles Reger and Martin Suda},
title = {Local proofs and AVATAR},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {33--41},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FBk9},
doi = {10.29007/qgdk}}
@inproceedings{Vampire17:Using_Vampire_with_Support,
author = {Sylvia Grewe and Andr\textbackslash{}'e Pacak and Mira Mezini},
title = {Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {42--51},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/9gkr},
doi = {10.29007/pmmz}}
@inproceedings{Vampire17:Incremental_Solving_with_Vampire,
author = {Giles Reger and Martin Suda},
title = {Incremental Solving with Vampire},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {52--63},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hCRF},
doi = {10.29007/6sjl}}
@inproceedings{Vampire17:Revisiting_Question_Answering_in,
author = {Giles Reger},
title = {Revisiting Question Answering in Vampire},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
pages = {64--74},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5L6q},
doi = {10.29007/fjc4}}