Accurate functional dependency analysis for Constraint Handling Rules (2005)

by G J Duck, T Schrijvers
Venue:In CHR ’05: Proc. 2nd Workshop on Constraint Handling Rules, T. Schrijvers and