Ryszard Danecki Marek Karpinski Decidability Results on Plane Automata Searching Mazes. 84-91 1979 FCT db/conf/fct/fct79.html#DaneckiK79