Chiesa, A., & Zhu, Z. A. (2015). Shorter arithmetization of nondeterministic computations. Theoretical Computer Science, 600, 107. https://doi.org/10.1016/j.tcs.2015.07.030
Chicago Style (17th ed.) CitationChiesa, Alessandro, and Zeyuan Allen Zhu. "Shorter Arithmetization of Nondeterministic Computations." Theoretical Computer Science 600 (2015): 107. https://doi.org/10.1016/j.tcs.2015.07.030.
MLA (9th ed.) CitationChiesa, Alessandro, and Zeyuan Allen Zhu. "Shorter Arithmetization of Nondeterministic Computations." Theoretical Computer Science, vol. 600, 2015, p. 107, https://doi.org/10.1016/j.tcs.2015.07.030.
Warning: These citations may not always be 100% accurate.