NGC 6712: the variable star population of a tidally disrupted globular cluster | Publicación