Volume
@proceedings{Vampire17,
title = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2018}}
Papers
@inproceedings{Vampire17:Theorem_recycling_Theorem_Proving,
author = {Nikolaj Bjorner and Lev Nachmanson},
title = {Theorem recycling for Theorem Proving},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qGfG},
doi = {10.29007/r58f},
pages = {1-8},
year = {2018}}
@inproceedings{Vampire17:Light_Weight_Integration_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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/94vW},
doi = {10.29007/89kc},
pages = {9-19},
year = {2018}}
@inproceedings{Vampire17:Inference_Rule_Acyclicity_Property,
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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NVXh},
doi = {10.29007/tlw4},
pages = {20-32},
year = {2018}}
@inproceedings{Vampire17:Local_proofs_AVATAR,
author = {Giles Reger and Martin Suda},
title = {Local proofs and AVATAR},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FBk9},
doi = {10.29007/qgdk},
pages = {33-41},
year = {2018}}
@inproceedings{Vampire17:Using_Vampire_with_Support,
author = {Sylvia Grewe and André 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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9gkr},
doi = {10.29007/pmmz},
pages = {42-51},
year = {2018}}
@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ács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hCRF},
doi = {10.29007/6sjl},
pages = {52-63},
year = {2018}}
@inproceedings{Vampire17:Revisiting_Question_Answering_Vampire,
author = {Giles Reger},
title = {Revisiting Question Answering in Vampire},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5L6q},
doi = {10.29007/fjc4},
pages = {64-74},
year = {2018}}