@InProceedings{C17,
  key =		 {C17},
  author =	 {Christoph Benzm{\"u}ller and Chad E. Brown},
  editor =	 {Joe Hurd and Thomas F. Melham},
  title =	 {A Structured Set of Higher-Order Problems},
  booktitle =	 {Theorem Proving in Higher Order Logics, 18th
                  International Conference, TPHOLs 2005, Oxford, UK,
                  August 22-25, 2005, Proceedings},
  year =	 2005,
  number =	 3603,
  pages =	 {66-81},
  series =	 {LNCS},
  publisher =	 {Springer},
  url =		 {www.ags.uni-sb.de/~chris/papers/C17.pdf},
  CHRISNOTE =	 {C17},
}