@TechReport{DFGS:REPORT-99,
  author = 	 {J. Denzinger and M. Fuchs and C. Goller and S. Schulz},
  title = 	 {{Learning from Previous Proof Experience}},
  institution =  {Institut f{\"u}r Informatik, Technische
                  Universit{\"a}t M{\"u}nchen},
  year = 	 {1999},
  OPTkey = 	 {},
  type =	 {Technical Report},
  number =	 {AR99-4},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note =	 {(also to be published as a SEKI report)},
  OPTannote = 	 {}
}