APA (7th ed.) Citation

Pimentel, E. G., Nigam, V., & Vega, C. A. O. (2020). A proof theoretic study of soft concurrent constraint programming.

Chicago Style (17th ed.) Citation

Pimentel, Elaine Gouvea, Vivek Nigam, and Carlos Alberto Olarte Vega. A Proof Theoretic Study of Soft Concurrent Constraint Programming. 2020.

MLA (8th ed.) Citation

Pimentel, Elaine Gouvea, et al. A Proof Theoretic Study of Soft Concurrent Constraint Programming. 2020.