Eve-Positional Languages: Putting Order into Bchi Automata.

Olivier Idir

Browse the full MFCS paper archive.