Quantitative Siegel's theorem for Galois coverings

It is known that Siegels theorem on integral points is effective for Galoiscoverings of the projective line. In this paper we obtain a quantitative version of this result, giving an explicit upper bound for the heights of S-integral K-rational points in terms of the number field K, the set of places S and the defining equation of the curve.Our main tools are Bakers theory of linear forms in logarithms and thequantitative Eisenstein theorem due to Schmidt, Dwork and van der Poorten.