Automatic implication checking for CHR constraints (2006)

by T Schrijvers, B Demoen, G Duck, P Stuckey, T Fruehwirth
Venue:In Proc of the 6th International Workshop on Rule-Based Programming. ENTC, vol 147