by Abramov, S.A., Carette, J.J., Geddes, K.O., Le, H.Q.
Published in Journal of symbolic computation (01.10.2004)