BibTeX record conf/cade/Keller13

download as .bib file

@inproceedings{DBLP:conf/cade/Keller13,
  author    = {Chantal Keller},
  title     = {Extended Resolution as Certificates for Propositional Logic},
  booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
               PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
  pages     = {96--109},
  year      = {2013},
  crossref  = {DBLP:conf/cade/2013pxtp},
  url       = {https://doi.org/10.29007/vrpk},
  doi       = {10.29007/vrpk},
  timestamp = {Sun, 15 Aug 2021 00:16:54 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Keller13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2013pxtp,
  editor    = {Jasmin Christian Blanchette and
               Josef Urban},
  title     = {Third International Workshop on Proof Exchange for Theorem Proving,
               PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
  series    = {EPiC Series in Computing},
  volume    = {14},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://easychair.org/publications/volume/PxTP\_2013},
  timestamp = {Sat, 16 Oct 2021 22:31:28 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/2013pxtp.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics