Ben C. Moszkowski. Interconnections between classes of sequentially compositional temporal formulas. Inf. Process. Lett., 113(9):350-353, 2013. [doi]
@article{Moszkowski13,
title = {Interconnections between classes of sequentially compositional temporal formulas},
author = {Ben C. Moszkowski},
year = {2013},
doi = {10.1016/j.ipl.2013.02.005},
url = {http://dx.doi.org/10.1016/j.ipl.2013.02.005},
researchr = {https://researchr.org/publication/Moszkowski13},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {113},
number = {9},
pages = {350-353},
}