Ésik Z. Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. BRICS [Internet]. 5. december 2002 [henvist 6. december 2025];9(47). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21762