APA (7th ed.) Citation

Pino, L. F., Bonchi, F., & Valencia, F. (2015). Efficient algorithms for program equivalence for confluent concurrent constraint programming. Science of computer programming, 111, 135-155. https://doi.org/10.1016/j.scico.2014.12.003

Chicago Style (17th ed.) Citation

Pino, Luis F., Filippo Bonchi, and Frank Valencia. "Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming." Science of Computer Programming 111 (2015): 135-155. https://doi.org/10.1016/j.scico.2014.12.003.

MLA (9th ed.) Citation

Pino, Luis F., et al. "Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming." Science of Computer Programming, vol. 111, 2015, pp. 135-155, https://doi.org/10.1016/j.scico.2014.12.003.