Accurate functional dependency analysis for Constraint Handling Rules (0)

by G J Duck, T Schrijvers
Venue:in Proc. 2nd Workshop on Constraint Handling Rules (CHR’05), 2005