Philippe Blache Jean-Philippe Prost Gradience, Constructions and Constraint Systems. 74-89 2004 conf/cslp/2004 CSLP http://dx.doi.org/10.1007/11424574_5 db/conf/cslp/cslp2004.html#BlacheP04