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