KAM for reversible derivative wave equations

We prove the existence of Cantor families of small amplitude, analytic, quasi-periodic solutions of derivative wave equations, with zero Lyapunov exponents and whose linearized equation is reducible to constant coefficients. This result is derived by an abstract KAM theorem for infinite dimensional reversible dynamical systems