@InProceedings{Schulz:KI-2001,
  author = 	 {S. Schulz},
  title = 	 {{Learning Search Control Knowledge for Equational Theorem Proving}},
  booktitle = 	 {Proc.\ of the Joint German/Austrian Conference on
                  Artificial Intelligence (KI-2001)},
  pages =	 {320--334},
  year =	 {2001},
  editor =	 {F. Baader and G. Brewka and T. Eiter},
  volume =	 {2174},
  series =	 {LNAI},
  publisher =	 {Springer},
}