A Filippov type existence theorem for a class of second-order differential inclusions.