@TechReport{R14,
  key    =       {R14},
  author =	 {Mateja Jamnik and Manfred Kerber and Christoph
                  Benzm\"uller},
  title =	 {Automatic Learning of Proof Methods in Proof Planning},
  institution =	 {University of Birmingham, School of Computer Science},
  number =	 {CSRP-01-08},
  year =	 2001,
  pages =        {1--15},
  email =	 {M.Jamnik@cs.bham.ac.uk, M.Kerber@cs.bham.ac.uk, M.Pollet@cs.bham.ac.uk},
  chrisnote =    {R14},
  url =		 {ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2002/CSRP-01-08.ps.gz}
}