Remark 10.1.8 in Liu's book (AG and Arithmetic curves) says that over a non-affine base (base is always assumed to be a Dedekind scheme of dim 1), the minimal regular model of a (s …

In what generality of commutative associative algebras does there exist a minimal Koszul-Tate resolution? or what is the most general condition known?