TY  - BOOK
AU  - Gunter Elsa L. (et-al)(Eds)
TI  - Theorem proving in higher order logics :Lecture notes in computer science:Proceedings
SN  - 0003540633790
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science
ER  -