Local proofs and AVATAR (bibtex)
by Giles Reger, Martin Suda
Reference:
Local proofs and AVATARGiles Reger, Martin SudaVampire 2017. Proceedings of the 4th Vampire Workshop (Laura Kov\textbackslash'acs, Andrei Voronkov, eds.), volume 53 of EPiC Series in Computing, pages 33–41, 2018, EasyChair.
Bibtex Entry:
@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}}
Powered by bibtexbrowser