Arnaud Durand;Solomampionona Ranaivoson
-;-
Linear time and the power of one first-order universal quantifier
Information and Computation