A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
scientific article; zbMATH DE number 1121741