@article{Bozzelli_2017,
    doi = {10.1007/s10817-017-9410-z},
    url = {https://doi.org/10.1007%2Fs10817-017-9410-z},
    year = {2017},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {60},
    number = {2},
    pages = {177--220},
    author = {Laura Bozzelli and C{\'{e}}sar S{\'{a}}nchez},
    title = {Visibly Linear Temporal Logic},
    journal = {Journal of Automated Reasoning}
}

@article{Bozzelli_2017, doi = {10.1007/s10817-017-9410-z}, url = {https://doi.org/10.1007%2Fs10817-017-9410-z}, year = {2017}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {60}, number = {2}, pages = {177--220}, author = {Laura Bozzelli and C{\'{e}}sar S{\'{a}}nchez}, title = {Visibly Linear Temporal Logic}, journal = {Journal of Automated Reasoning} }