Alternating Finite Automata with Limited Universal Branching.

Chris Keeler, Kai Salomaa

Browse the full LATA paper archive.