In: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. International Conference on Theorem Proving in Higher Order Logics (TPHOLs-09), August 17-20, Munich, Germany, Pages 23-42, Lecture Notes in Computer Science (LNCS), Vol. 5674, ISBN 978-3-642-03358-2, Springer, 8/2009.