Tobias Müller. Promoting Constraints to First-Class Status. In
J. Lloyd,
V. Dahl,
U. Furbach,
Manfred Kerber,
K.-K. Lau,
C. Palamidessi,
L. M. Pereira,
Y. Sagiv and
P.J. Stuckey editors, 1st International Conference on Computational Logic (CL '00), July 24-28, (1861):429-447, Springer, Imperial College, London, UK, 2000. [Abstract] google [Annote]
|