Armin Wolf. Adaptive Solving of Equations over Rational Trees. In Michael J. Maher, Jean-Francois Puget, editors, Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings. Volume 1520 of Lecture Notes in Computer Science, pages 475, Springer, 1998. [doi]
Abstract is missing.