Bounded Quantification and Relations Recognizable by Finite Automata.

Teuvo Laurinolli Bounded Quantification and Relations Recognizable by Finite Automata. 67-78 1978 10 Acta Inf. db/journals/acta/acta10.html#Laurinolli78