@InProceedings{W28,
  key    =       {W28},
  author = 	 {Mateja Jamnik and Manfred Kerber and Martin Pollet and Christoph Benzm\"uller},
  title = 	 {Automatic Learning of Proof Methods in Proof Planning},
  booktitle = 	 {Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice},
  year =	 2002,
  pages =        {1--2},
  address =	 {London, England},
  url =		 {www.ags.uni-sb.de/~chris/papers/W28.pdf}
}