@InProceedings{W6,
  key    =       {W06},
  author =	 {Mateja Jamnik and Manfred Kerber and Christoph Benzm{\"u}ller},
  title =	 {Towards Learning New Methods in Proof Planning},
  booktitle =	 {In Proceedings of the CADE-17 Workshop: Automated  Deduction in the Context of Mathematics},
  year =	 2001,
  pages =        {1--12},
  chrisnote =	 {W6},
  url =		 {www.ags.uni-sb.de/~chris/papers/W6.pdf},
  abstract =     {},
}