A new algorithm for the Quillen-Suslin theorem. Laubenbacher, Reinhard C.; Woodburn, Cynthia J. — 2000 Beiträge zur Algebra und Geometrie