Cita APA (7a ed.)
International Conference on Interactive Theorem Proving ( Viena, Austria), Klein, G., & Gamboa, R. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Cita estilo Chicago (17a ed.)
International Conference on Interactive Theorem Proving ( Viena, Austria), Gerwin Klein, y Ruben Gamboa. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Cham, Suiza: Springer.
Cita MLA (9a ed.)
International Conference on Interactive Theorem Proving ( Viena, Austria), et al. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.