Georg Ringwelski Hans Schlenker Type Inference in CHR Programs for the Composition of Constraint Systems. 137-146 2000 15. WLP db/conf/wlp/wlp2000-2.html#RingwelskiS00