Stefano Bistarelli Rosella Gennari Francesca Rossi General Properties and Termination Conditions for Soft Constraint Propagation. 79-97 2003 8 Constraints 1 db/journals/constraints/constraints8.html#BistarelliGR03