A Survey on Small Fragments of First-Order Logic over Finite Words.

Volker Diekert Paul Gastin Manfred Kufleitner A Survey on Small Fragments of First-Order Logic over Finite Words. 513-548 2008 19 Int. J. Found. Comput. Sci. 3 http://dx.doi.org/10.1142/S0129054108005802 db/journals/ijfcs/ijfcs19.html#DiekertGK08