Ésik Z, Ito M. Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. BRICS [Internet]. 2001 Dec. 4 [cited 2024 Apr. 30];8(53). Available from: https://tidsskrift.dk/brics/article/view/21714