@Book{Schulz:Diss-2000,
  author =       {S. Schulz},
  title =        {{Learning Search Control Knowledge for Equational
                  Deduction}},
  publisher =    {Akademische Verlagsgesellschaft Aka GmbH Berlin},
  year =         2000,
  number =       230,
  series =       {DISKI}
}