Vampire17: BibTeX Entries

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}}