Linear Temporal Logics for Structured Context-Free Languages. - Michele Chiari; Davide Bergamaschi; Dino Mandrioli; Matteo Pradella (ICTCS, 2020)