Thomas Schwentick
-
Linear time and the power of one first-order universal quantifier
Information and Computation