Elaine Pimentel, Carlos Olarte, Vivek Nigam. A Proof Theoretic Study of Soft Concurrent Constraint Programming. TPLP, 14(4-5):649-663, 2014. [doi]
@article{PimentelON14,
title = {A Proof Theoretic Study of Soft Concurrent Constraint Programming},
author = {Elaine Pimentel and Carlos Olarte and Vivek Nigam},
year = {2014},
doi = {10.1017/S147106841400026X},
url = {http://dx.doi.org/10.1017/S147106841400026X},
researchr = {https://researchr.org/publication/PimentelON14},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {14},
number = {4-5},
pages = {649-663},
}