TPHOLs '96 Turku, Finland, Wright, J., Grudy, J., & Harisson, J. (1996). Theorem proving in higher order logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings.
Chicago Style (17th ed.) CitationTPHOLs '96 Turku, Finland, J. Wright, J. Grudy, and J. Harisson. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : Proceedings. Berlin, Germany, 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. 1996.
Warning: These citations may not always be 100% accurate.