Imagining CLP(A, equiv alpha beta)

Olivier Ridoux. Imagining CLP(A, equiv alpha beta). In Andreas Podelski, editor, Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers. Volume 910 of Lecture Notes in Computer Science, pages 209-230, Springer, 1994.

Abstract

Abstract is missing.