TPHOLs '99 Nice, France, & Bertot, Y. (1999). Theorem proving in higher order logics: 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings. Springer.
Chicago Style (17th ed.) CitationTPHOLs '99 Nice, France, and Yves Bertot. Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : Proceedings. Berlin ; New York: Springer, 1999.
MLA (9th ed.) CitationTPHOLs '99 Nice, France, and Yves Bertot. Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : Proceedings. Springer, 1999.
Warning: These citations may not always be 100% accurate.