  Lubricated sliding contact between soft solids is an interesting topic in
biomechanics and for the design of small-scale engineering devices. As a model
of this mechanical set-up, two elastic nonlinear solids are considered jointed
through a frictionless and bilateral surface, so that continuity of the normal
component of the Cauchy traction holds across the surface, but the tangential
component is null. Moreover, the displacement can develop only in a way that
the bodies in contact do neither detach, nor overlap. Surprisingly, this finite
strain problem has not been correctly formulated until now, so that this
formulation is the objective of the present paper. The incremental equations
are shown to be non-trivial and different from previously (and erroneously)
employed conditions. In particular, an exclusion condition for bifurcation is
derived to show that previous formulations based on frictionless contact or
'spring-type' interfacial conditions are not able to predict bifurcations in
tension, while experiments -- one of which, ad hoc designed, is reported --
show that these bifurcations are a reality and become possible when the correct
sliding interface model is used. The presented results introduce a methodology
for the determination of bifurcations and instabilities occurring during
lubricated sliding between soft bodies in contact.
