Franz Binder Fast Computations in the Lattice of Polynomial Rational Function Fields. 43-48 1996 ISSAC http://doi.acm.org/10.1145/236869.236895 db/conf/issac/issac96.html#Binder96