Laura Bozzelli, César Sánchez. Visibly Linear Temporal Logic. Journal of Automated Reasoning, 60(2):177-220, 2018. [doi]
@article{BozzelliS18, title = {Visibly Linear Temporal Logic}, author = {Laura Bozzelli and César Sánchez}, year = {2018}, doi = {10.1007/s10817-017-9410-z}, url = {https://doi.org/10.1007/s10817-017-9410-z}, researchr = {https://researchr.org/publication/BozzelliS18}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {60}, number = {2}, pages = {177-220}, }