CITATION STYLE
Goos, G., Hartmanis, J., & Van Leeuwen, J. (1999). Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. https://doi.org/10.1007/3-540-48256-3
Mendeley helps you to discover research relevant for your work.