Linear time and the power of one first-order universal quantifier
scientific article; zbMATH DE number 1853282