Automata with Counters that Recognize Word Problems of Free Products. - Jon M. Corson; Lance L. Ross (Int. J. Found. Comput. Sci., 2015)