APA (7th ed.) Citation

Espírito Santo, J., Matthes, R., Nakazawa, K., & Pinto, L. (2014). Confluence for classical logic through the distinction between values and computations. Electronic proceedings in theoretical computer science, 164(Proc. CL&C 2014), 63-77. https://doi.org/10.4204/EPTCS.164.5

Chicago Style (17th ed.) Citation

Espírito Santo, José, Ralph Matthes, Koji Nakazawa, and Luís Pinto. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science 164, no. Proc. CL&C 2014 (2014): 63-77. https://doi.org/10.4204/EPTCS.164.5.

MLA (9th ed.) Citation

Espírito Santo, José, et al. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science, vol. 164, no. Proc. CL&C 2014, 2014, pp. 63-77, https://doi.org/10.4204/EPTCS.164.5.