@InProceedings{vHPP+:98,
  author = 	 "Friedrich W.~von Henke and Stephan Pfab and Holger Pfeifer
		  and Harald Rue{\ss}",
  title = 	 "{Case Studies in Meta-Level Theorem Proving}",
  editor =	 "Jim Grundy and Malcolm Newey",
  series =	 "Lecture Notes in Computer Science",
  number =       "1479",
  pages = "461--478",
  booktitle =	 "Proc. Intl. Conf. on Theorem Proving in Higher Order Logics",
  year =	 1998,
  publisher =	 "Springer-Verlag",
  month =	 sep
}