Automatic implication checking for CHR constraints (0)

by T Schrijvers, B Demoen, G Duck, P Stuckey, T Fruhwirth