A Carleman estimates based approach for the stabilization of some locally damped semilinear hyperbolic equationsLouis TebouESAIM: COCV, 14 3 (2008) 561-574DOI: https://doi.org/10.1051/cocv:2007066