International conference on theorem proving in higher order logics :Murray Hill, N.J., Gunter, E. L., & Felty, A. P. Theorem proving in higher order logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings. Springer.
Style de citation Chicago (17e éd.)International conference on theorem proving in higher order logics :Murray Hill, N.J., Elsa L. Gunter, et Amy P. Felty. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)International conference on theorem proving in higher order logics :Murray Hill, N.J., et al. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : Proceedings. Springer.