The method of upper-lower solutions for nonlinear second order differential inclusions