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. Int. J. Found. Comput. Sci., 19(3):513-548, 2008. [doi]

Abstract

Abstract is missing.