Howard Straubing Denis Thérien Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables. 29-69 2003 36 Theory Comput. Syst. 1 http://dx.doi.org/10.1007/s00224-002-1035-9 db/journals/mst/mst36.html#StraubingT03