Automatic implication checking for CHR constraints (2006)

by T Schrijvers, B Demoen, G J Duck, P J Stuckey, T Frühwirth
Venue:In RULE ’05: 6th Intl. Workshop on Rule-Based Programming. ENTCS