logic of interactive proofs.

MLA

Lehnherr, David, et al. “Logic of Interactive Proofs.” Journal of Logic & Computation, vol. 32, no. 8, Dec. 2022, pp. 1645–58. EBSCOhost, https://doi.org/10.1093/logcom/exac071.

APA

Lehnherr, D., Ognjanović, Z., & Studer, T. (2022). logic of interactive proofs. Journal of Logic & Computation, 32(8), 1645–1658. https://doi.org/10.1093/logcom/exac071

Chicago

Lehnherr, David, Zoran Ognjanović, and Thomas Studer. 2022. “Logic of Interactive Proofs.” Journal of Logic & Computation 32 (8): 1645–58. doi:10.1093/logcom/exac071.