A note on redundant rules in rule-based constraint programming. (2003)

by S BRAND
Venue:In Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming.