Norihiro Kamide. A logic of sequences. Reports on Mathematical Logic, 46:29-57, 2011. [doi]
@article{Kamide11-3, title = {A logic of sequences}, author = {Norihiro Kamide}, year = {2011}, url = {http://www.iphils.uj.edu.pl/rml/rml-46/03-Kamide.pdf}, researchr = {https://researchr.org/publication/Kamide11-3}, cites = {0}, citedby = {0}, journal = {Reports on Mathematical Logic}, volume = {46}, pages = {29-57}, }