APA (7th ed.) Citation

(1997). Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; Proceedings. Berlin [u.a.]: Springer, 1997.

MLA (9th ed.) Citation

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; Proceedings. Springer, 1997.