TY - RPRT TI - An Effective Extension of the Wagner Hierarchy to Blind Counter Automata AU - Olivier Finkel PY - 2010 UR - https://arxiv.org/abs/1005.5635 ID - 1005.5635 ER -