Constructive exact controls for semi-linear wave equations | Publicación