Gorenstein derived categories

Gorenstein derived categories are defined, and the relation with the usual derived categories is given. The bounded Gorenstein derived categories of Gorenstein rings and of finite-dimensional algebras are explicitly described via the homotopy categories of Gorenstein-projective modules, and some applications are obtained. Gorenstein derived equivalences between CM-finite Gorenstein algebras are discussed.