We provide an explicit free algebra resolution of a quotient ring R/I out of a free module resolution of R/I. Under the assumption of finiteness of the module resolution of R/I, the construction will be done in finitely many steps. This is a report on a joint work in progress with C. Laurent-Gengoux and T. Strobl.