Emmanuel Coquery François Fages A Type System for CHR. 402-403 2005 conf/iclp/2005 ICLP http://dx.doi.org/10.1007/11562931_30 db/conf/iclp/iclp2005.html#CoqueryF05