BibTeX record journals/corr/abs-1802-04007

download as .bib file

@article{DBLP:journals/corr/abs-1802-04007,
  author    = {Zarathustra Goertzel and
               Jan Jakubuv and
               Stephan Schulz and
               Josef Urban},
  title     = {ProofWatch: Watchlist Guidance for Large Theories in {E}},
  journal   = {CoRR},
  volume    = {abs/1802.04007},
  year      = {2018}
}
maintained by Schloss Dagstuhl LZI at University of Trier