Search: A Structured Set Of Higher-Order Problem
2005
[1]A Structured Set of Higher-Order Problems (Christoph Benzmüller, Chad Brown), In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Joe Hurd, Thomas F. Melham, eds.), Springer, LNCS, number 3603, pp. 66-81, 2005. (Preprint: http://christoph-benzmueller.de/papers/C17.pdf) [bibtex] [doi]