Decreasing the Nesting Depth of Expressions Involving Square Roots.

Allan Borodin Ronald Fagin John E. Hopcroft Martin Tompa Decreasing the Nesting Depth of Expressions Involving Square Roots. 169-188 1985 1 J. Symb. Comput. 2 db/journals/jsc/jsc1.html#BorodinFHT85