A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages