Arnaud Carayol Antoine Meyer Context-Sensitive Languages, Rational Graphs and Determinism. 2006 2 Logical Methods in Computer Science 2 http://dx.doi.org/10.2168/LMCS-2(2:6)2006 db/journals/lmcs/lmcs2.html#CarayolM06