A Kleene theorem for infinite trace languages (1991)

by P Gastin, A Petit, W Zielonka
Venue:In Proceedings of the 18th International Colloquium on Automata, Languages and Programming (ICALP'91), Lecture Notes in Computer Science 510