Palmér I. The global homological dimension of semi-trival extensions of rings. Math. Scand. 1975;37:223-256. doi:10.7146/math.scand.a-11603