BibTeX record journals/jfrea/BlanchetteKPU16

download as .bib file

@article{DBLP:journals/jfrea/BlanchetteKPU16,
  author    = {Jasmin Christian Blanchette and
               Cezary Kaliszyk and
               Lawrence C. Paulson and
               Josef Urban},
  title     = {Hammering towards {QED}},
  journal   = {J. Formalized Reasoning},
  volume    = {9},
  number    = {1},
  pages     = {101--148},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier