@proceedings{TPHOLs2008,
 editor = {Otmane Ait and C\'esar Mu{\~{n}}oz and Sofi\`ene Tahar},
 title = {{P}roceedings of the 21st International Conference Theorem Proving in Higher Order Logics},
 volume = {5170},
 series = {Lecture Notes in Computer Science},
 publisher = {Springer},
 address = {Montreal, Canada},
 month = {August},
 year = {2008}
}