1. F. Baader and K. Schulz. On the combination of symbolic constraints, solution domains, and constraint solvers. In Proc. of CP’95, volume 976 of LNCS, 1995.
2. F. Benhamou and L. Granvilliers. Combining local consistency, symbolic rewriting, and interval methods. In J. Pfalzgraf, editor, Proc. AISMC-3, volume 1138 of LNCS, Steyr, Austria, Sep. 1996. Springer-Verlag.
3. B. Buchberger. Applications of Gröbner Bases in Non-Linear Computational Geometry. In D. Kapur and J. Mundy, editors, Geometric Reasoning, pages 413–446. MIT Press, 1989.
4. O. Caprotti. Extending risc-clp(cf) to handle symbolic functions. In A. Miola, editor, Proc. of DISCO ’93, volume 722 of LNCS. Springer-Verlag, Sep. 1993.
5. T. Frühwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of LNCS. Springer-Verlag, 1995.