Minimal free resolution of a finitely generated module over a regular local ring
scientific article