Constraint Solving by Narrowing in Combined Algebraic Domains.

Hlne Kirchner, Christophe Ringeissen

Browse the full ICLP paper archive.