@InProceedings{SS:GCAI-2015,
  author =       {Simon Sch{\"a}fer and Stephan Schulz},
  title =        {Breeding Theorem Proving Heuristics with Genetic Algorithms},
  booktitle =    {Proc.\ of the Global Conference on Artificial
                  Intelligence, Tibilisi, Georgia},
  year =         2015,
  editor =       {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
  series =       {EPiC},
  publisher =    {EasyChair},
  note =         {(to appear)}
}