Hana Rudová: Constraints with Variables' Annotations and Constraint Hierarchies. SOFSEM 1998: 409-418