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