Existence of solutions for second-order evolution inclusions. (1994)