@InProceedings{SM:IJCAR-2016,
  author =       {Stephan Schulz and Martin M{\"o}hrmann},
  title =        {Performance of Clause Selection Heuristics for
                  Saturation-Based Theorem Proving},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ of the 8th IJCAR, Coimbra},
  year =         {2016},
  editor =       {Nicola Olivetti and Ashish Tiwari},
  volume =       {9706},
  OPTnumber =    {},
  series =       {LNAI},
  pages =        {330--345},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTannote =    {}
}