Abstract
We present a new derivation of the convolution formula for the contributions of nuclear binding to the structure functions measured in the deep inelastic scattering of leptons from nuclei. The derivation, which is manifestly covariant, gives a new binding correction. This new correction, which depends on the mass of the recoiling nucleon fragments, gives corrections that are numerically significant, and that improve the agreement between theory and experiment at large x. We conclude that nuclear binding effects may be sufficient to explain the European-Muon-Collaboration effect at large x.