BibTeX record journals/jar/BlanchetteGKKU16

download as .bib file

@article{DBLP:journals/jar/BlanchetteGKKU16,
  author    = {Jasmin Christian Blanchette and
               David Greenaway and
               Cezary Kaliszyk and
               Daniel K{\"{u}}hlwein and
               Josef Urban},
  title     = {A Learning-Based Fact Selector for Isabelle/HOL},
  journal   = {J. Autom. Reasoning},
  volume    = {57},
  number    = {3},
  pages     = {219--244},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier