I would like to ask for recomendation for literature on theory relative minimal models of surfaces, where "relative" in sense of that the study objects are not surfaces alone (="absolue minimal models"), but together with a dominant, flat map (="fibration") $S \to C$ to smooth curve, or more specifically to $\Bbb P^1$, so a pencil datum.
And by def, relative minimal model $(M(S), p_M: M(S) \to C)$ of $(S, p:S \to C)$ would mean that every fibre not contains a $(-1)$-curve.
Also "surfaces" should be assumed to be proper, over alg closed base field $k$ of char $2,3$ (...to avoid troubles with elliptic pencils). Let moreover exclude the case $S \to C$ be ruled surface; as this behaves already bad in "absolute" case; indeed only in case $S$ not ruled it's birationality class contains a unique min model.
The point is that nearly all literature (Beauville, Badescu (algebraic surf.), Barth (complex s.)) discussing theory of minimal models of surfaces stick on absolute case, ie without this additional datum $(S \to C)$, but I wondering how the theory change from viewpoint of constructibility techniques to construct to a given smooth fibred surface $(S, S \to C)$ it's minimal model.
Leading problem, say we start with such $(S,S \to C)$ non ruled, how to determine it's relative minimal model $(M(S), M(S) \to C)$.
Motivation/Running problem: In the proof of Lemma 2.6 (see abs page 199) from Kondo's paper Enriques surfaces with finite automorphism groups at one stage one considered minimal model $J(Y) \to \Bbb P^1$ (...turned out to be a Jacobian fibration; my guess is it's because $S$ admits a section and it descends to $J(Y) $ as minimal model implies that $S$ birationally dominates $J(Y)$) of an elliptic pencil $S \to \Bbb P^1$.
Then this rises basic questio about structure of this relative model, eg there is claimed that its anticanonical linear system $\vert -K_{J(Y)} \vert$ cotains a fibre, etc.
These kind of things should follow from theory of relative minimal model theory, but I don't know a source.
Here in comments abx proposed (assuming we have also uniqueness statement in relative situation) that the minimal model of to elliptic pencil $S \to \Bbb P^1$ should be given as blowup at $9$ points of base/indeterminacy locus of rational pencil
$$ \Bbb P^2 \dashrightarrow \Bbb P^1 $$
induced by two general cubics in $\Bbb P^2$. So general fibre is elliptic and it's easy to check it not contains $(-1)$-curves in fibres, so it's minimal.
But the raised question is why it relative minimal model of given pencil $S \to \Bbb P^1$, so in sense that we have birational map from $S$ to it respecting both pencils to $\Bbb P^1$? Following abx's explanations this should more or less follow immediately from basics.