BibTeX record conf/lpar/BjornerGKL13

download as .bib file

@inproceedings{DBLP:conf/lpar/BjornerGKL13,
  author    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel and
               Konstantin Korovin and
               Ori Lahav},
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Instantiations, Zippers and {EPR} Interpolation},
  booktitle = {{LPAR} 2013, 19th International Conference on Logic for Programming,
               Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
               South Africa, Short papers proceedings},
  series    = {EPiC Series in Computing},
  volume    = {26},
  pages     = {35--41},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://doi.org/10.29007/xt3j},
  doi       = {10.29007/xt3j},
  timestamp = {Sun, 15 Aug 2021 00:16:53 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/BjornerGKL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics