Towers and the first-order theory of hyperbolic groups - Vincent Guirardel; Gilbert Levitt; Rizos Sklinos (2020)