@InProceedings{BB05, Author = "Benzm{\"u}ller, C. and Brown, C.E.", Year = "2005", Title = "{A Structured Set of Higher-Order Problems}", Editor = "Hurd, J. and Melham, T.", BookTitle = "{Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics}", Place = "Oxford, United Kingdom", Series = "Lecture Notes in Artificial Intelligence", Number = "3606", Pages = "66-81", Publisher = "Springer-Verlag", Comment = "TPTPRef" }