Otmane Aït Mohamed César A. Muñoz Sofiène Tahar Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings 5170 2008 978-3-540-71065-3 TPHOLs Lecture Notes in Computer Science Springer db/conf/tphol/tphol2008.html