APA-Zitierstil (7. Ausg.)

PIMENTEL, E., OLARTE, C., & NIGAM, V. (2014). A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory and practice of logic programming, 14(4-5), 649-663. https://doi.org/10.1017/S147106841400026X

Chicago-Zitierstil (17. Ausg.)

PIMENTEL, ELAINE, CARLOS OLARTE, und VIVEK NIGAM. "A Proof Theoretic Study of Soft Concurrent Constraint Programming." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 649-663. https://doi.org/10.1017/S147106841400026X.

MLA-Zitierstil (9. Ausg.)

PIMENTEL, ELAINE, et al. "A Proof Theoretic Study of Soft Concurrent Constraint Programming." Theory and Practice of Logic Programming, vol. 14, no. 4-5, 2014, pp. 649-663, https://doi.org/10.1017/S147106841400026X.