D. Henshall

发表

D. Henshall, N. Rampersad, J. Shallit, 2011, Bull. EATCS.