TPHOLs '96 Turku, Finland, Wright, J. v., Grundy, J., & Harrison, J. (1996). Theorem proving in higher order logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Springer.
Chicago Style (17th ed.) CitationTPHOLs '96 Turku, Finland, J. von Wright, J. Grundy, and J. Harrison. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : Proceedings. Berlin ; New York: Springer, 1996.
MLA (9th ed.) CitationTPHOLs '96 Turku, Finland, et al. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : Proceedings. Springer, 1996.
Warning: These citations may not always be 100% accurate.