@Article{J7,
  key =		 {J07},
  author =	 {Mateja Jamnik and Manfred Kerber and Martin Pollet and Christoph
                  Benzm{\"u}ller},
  title =	 {Automatic Learning of Proof Methods in Proof Planning},
  journal =	 {The Logic Journal of the IGPL},
  publisher =	 {Oxford University Press},
  volume =	 11,
  number =	 6,
  pages =	 {647-674},
  year =	 2003,
  month =	 November,
  note = {doi:10.1093/jigpal/11.6.647},
}