First-order expressibility of languages with neutral letters or: The Crane Beach conjecture

Parity, circuits, and the polynomial-time hierarchy

Merrick L. Furst, James B. Saxe, Michael Sipser · Theory of Computing Systems · 1984 · 939 citations

Computing, Computer Engineering, Computer Science +11

∑11-Formulae on finite structures

Miklós Ajtai · Annals of Pure and Applied Logic · 1983 · 586 citations

Natural Sciences, Computer Science, Mathematics +7

On uniformity within NC1

David A. Mix Barrington, Neil Immerman, Howard Straubing · Journal of Computer and System Sciences · 1990 · 485 citations

Computing, Computer Science, Metrology +2

On a combinatorial problem in geometry

H. L. Abbott, D. Hanson · Discrete Mathematics · 1975 · 462 citations

Natural Sciences, Mathematics, Combinatorics +8

Relational expressive power of constraint query languages

Michael Benedikt, Guozhu Dong, Leonid Libkin et al. · Journal of the ACM · 1998 · 107 citations · Full text

Computing, Computer Science, Databases +16