Johannes Blömer: A Probabilistic Zero-Test for Expressions Involving Root of Rational Numbers. ESA 1998: 151-162