A Conjunctive Logical Characterization of Nondeterministic Linear Time

Existential second-order logic over strings

Journal of the ACM (JACM)

Linear time and the power of one first-order universal quantifier

Information and Computation

Graph properties checkable in linear time in the number of vertices

Journal of Computer and System Sciences

The model checking problem for prefix classes of second-order logic: a survey

Fields of logic and computation

Hierarchies in Dependence Logic

ACM Transactions on Computational Logic (TOCL)