APA-Zitierstil (7. Ausg.)

Dubois, C., & Paleo, B. W. (2017, December 4). Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. arXiv.org. https://doi.org/10.48550/arxiv.1712.00898

Chicago-Zitierstil (17. Ausg.)

Dubois, Catherine, und Bruno Woltzenlogel Paleo. "Proceedings of the Fifth Workshop on Proof EXchange for Theorem Proving." ArXiv.org 4 Dec. 2017. https://doi.org/10.48550/arxiv.1712.00898.

MLA-Zitierstil (9. Ausg.)

Dubois, Catherine, und Bruno Woltzenlogel Paleo. "Proceedings of the Fifth Workshop on Proof EXchange for Theorem Proving." ArXiv.org, 4 Dec. 2017, https://doi.org/10.48550/arxiv.1712.00898.