Automatic Implication Checking for CHR Constraints (2005)

by T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth
Venue:Thom Frühwirth, Laurent Michel, Christian Schulte 41