Stefano Bistarelli Ugo Montanari Francesca Rossi Soft Concurrent Constraint Programming. 53-67 2002 conf/esop/2002 ESOP http://link.springer.de/link/service/series/0558/bibs/2305/23050053.htm db/conf/esop/esop2002.html#BistarelliMR02