BibTeX record journals/corr/BrownU16

download as .bib file

@article{DBLP:journals/corr/BrownU16,
  author    = {Chad E. Brown and
               Josef Urban},
  title     = {Extracting Higher-Order Goals from the Mizar Mathematical Library},
  journal   = {CoRR},
  volume    = {abs/1605.06996},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier