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