Lange, M. (2007). Temporal Logics Beyond Regularity. BRICS Report Series, 14(13). https://doi.org/10.7146/brics.v14i13.22178