R. Laubenbacher and C. Woodburn 
An Algorithm to for the Quillen-suslin Theorem for Monoid Rings 
43 pp., to appear in J. Pure and Appl. Algebra.