BibTeX record journals/corr/FarberB16

download as .bib file

@article{DBLP:journals/corr/FarberB16,
  author    = {Michael F{\"{a}}rber and
               Chad E. Brown},
  title     = {Internal Guidance for Satallax},
  journal   = {CoRR},
  volume    = {abs/1605.09293},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier