@InProceedings{C17,
  key    =       {C17},
  author =	 {C.E. Benzm{\"u}ller and C.E. Brown},
  editor =       {J. Hurd and T. Melham}, 
  title =	 {A Structured Set of Higher-Order Problems},
  booktitle =	 {Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005)},
  year =	 2005,
  number =       3606,
  pages =        {66-81},
  series =	 {LNAI},
  publisher =    {Springer},
  url =		 {www.ags.uni-sb.de/~chris/papers/C17.pdf},
  CHRISNOTE =	 {C17},
}