Assisted Problem Solving and Decompositions of Finite Automata

Peter Gazi Branislav Rovan Assisted Problem Solving and Decompositions of Finite Automata http://arxiv.org/abs/0707.0430 2007 CoRR abs/0707.0430 db/journals/corr/corr0707.html#abs-0707-0430 informal publication