Volker Diekert, Paul Gastin, Manfred Kufleitner
A Survey on Small Fragments of First-Order Logic over Finite Words
DLT, 2008.
@article{DLT-J-2007-DiekertGK08,
author = "Volker Diekert and Paul Gastin and Manfred Kufleitner",
doi = "10.1142/S0129054108005802",
journal = "{International Journal of Foundations of Computer Science}",
number = 3,
pages = "513--548",
publisher = "{World Scientific}",
title = "{A Survey on Small Fragments of First-Order Logic over Finite Words}",
volume = 19,
year = 2008,
}