A homological characterization of local complete intersections T. H. Gulliksen (1971) Compositio Mathematica