Amitabha Roy Howard Straubing Definability of Languages by Generalized First-Order Formulas over N<sup>+</sup>. 502-521 2007 37 SIAM J. Comput. 2 http://dx.doi.org/10.1137/060658035 db/journals/siamcomp/siamcomp37.html#RoyS07