Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 5674 2009 http://dx.doi.org/10.1007/978-3-642-03359-9 978-3-642-03358-2 TPHOLs Lecture Notes in Computer Science Springer db/conf/tphol/tphol2009.html