Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming
ICLP, 2014.
@article{ICLP-J-2014-PimentelON,
author = "Elaine Pimentel and Carlos Olarte and Vivek Nigam",
doi = "10.1017/S147106841400026X",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "649--663",
title = "{A Proof Theoretic Study of Soft Concurrent Constraint Programming}",
volume = 14,
year = 2014,
}