APA (7th ed.) Citation

TPHOLs Canberra, A.C.T, Grundy, J., & Newey, M. C. (1998). Theorem proving in higher order logics: 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TPHOLs Canberra, A.C.T, J. Grundy, and Malcolm Charles Newey. Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings. Berlin ; New York: Springer, 1998.

MLA (9th ed.) Citation

TPHOLs Canberra, A.C.T, et al. Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings. Springer, 1998.