Denys Duchier and
Joachim Niehren. Dominance Constraints with Set Operators. In
J. Lloyd and
V. Dahl editors, 1st International Conference on Computational Logic (CL '00), July 24-28, (1861):326-341, Springer, Imperial College, London, UK, 2000. [Abstract] google [Annote]
