Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. - Timothy J. Hickey; Jacques Cohen; V. Deschamps (New Gener. Comput., 1992)