APA (7th ed.) Citation

Olarte, C., & Pimentel, E. (2015). Proving Concurrent Constraint Programming Correct, Revisited. Electronic notes in theoretical computer science, 312, 179-195. https://doi.org/10.1016/j.entcs.2015.04.011

Chicago Style (17th ed.) Citation

Olarte, Carlos, and Elaine Pimentel. "Proving Concurrent Constraint Programming Correct, Revisited." Electronic Notes in Theoretical Computer Science 312 (2015): 179-195. https://doi.org/10.1016/j.entcs.2015.04.011.

MLA (9th ed.) Citation

Olarte, Carlos, and Elaine Pimentel. "Proving Concurrent Constraint Programming Correct, Revisited." Electronic Notes in Theoretical Computer Science, vol. 312, 2015, pp. 179-195, https://doi.org/10.1016/j.entcs.2015.04.011.