Etienne Grandjean
-
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