A Local Simplification Scheme for cc Programs

Vincent Schächter. A Local Simplification Scheme for cc Programs. In Eugene C. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996. Volume 1118 of Lecture Notes in Computer Science, pages 557-558, Springer, 1996.

Bibliographies