Stéphane Demri Morgan Deters Temporal logics on strings with prefix relation. 989-1017 2016 26 J. Log. Comput. 3 https://doi.org/10.1093/logcom/exv028 db/journals/logcom/logcom26.html#DemriD16