Cita APA (7a ed.)
Elsa L. Gunter, A. F. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Elsa L. Gunter, Amy Felty. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Elsa L. Gunter, Amy Felty. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.