TY  - RPRT
TI  - A Proof Theoretic Study of Soft Concurrent Constraint Programming
AU  - Elaine Pimentel
AU  - Carlos Olarte
AU  - Vivek Nigam
PY  - 2014
DO  - 10.1017/s147106841400026x
UR  - https://arxiv.org/abs/1405.2329
ID  - 1405.2329
ER  -