On an exact control problem for a semilinear wave equation with an unknown source

The exact controllability of a semilinear wave equation, with Dirichlet boundary control on a part of the boundary and an unknown source, is shown. The nonlinear term has at most a linear growth, the initial and target spaces are L2(Ω)×H−1(Ω).