Vampire17:BibTeX Entries

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