@InProceedings{DS1996b,
  author = 	 "J. Denzinger and S. Schulz",
  title = 	 "{Learning Domain Knowledge to Improve Theorem Proving}",
  editor = 	 "M.A. McRobbie and J.K. Slaney",
  number = 	 "1104",
  series =	 "LNAI",
  pages = 	 "62-76",
  booktitle =	 "Proc.\ of the 13th CADE, New Brunswick",
  year =	 "1996",
  publisher =	 "Springer",
}