Стиль цитування APA (7-ме видання)
Fuhs, C., Kop, C., & Nishida, N. (Feb 25, 2017). Verifying Procedural Programs via Constrained Rewriting Induction. arXiv.org.
Чикаго стиль цитування (17-те видання)
Fuhs, Carsten, Cynthia Kop, та Naoki Nishida. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org Feb 25, 2017.
Стиль цитування MLA (9-ме видання)
Fuhs, Carsten, et al. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org, Feb 25, 2017.
Попередження: стилі цитування не завжди правильні на всі 100%.