Nick Bassiliades Peter M. D. Gray CoLan: A Functional Constraint Language and its Implementation. 203-249 1995 14 Data Knowl. Eng. 3 db/journals/dke/dke14.html#BassiliadesG95 http://dx.doi.org/10.1016/0169-023X(94)00028-D