Semi-stable reduction implies minimality of the resultant

For a dynamical system on Pn over a number field or a function field, we show that semi-stable reduction implies the minimality of the resultant. We use this to show that every such dynamical system over a number field admits a globally minimal presentation.