Limited Non-determinism Hierarchy of Counter Automata.

Sebastian Bala, Dariusz Jackowski

Browse the full LATA paper archive.