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

David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien. First-order expressibility of languages with neutral letters or: The Crane Beach conjecture. J. Comput. Syst. Sci., 70(2):101-127, 2005. [doi]

Abstract

Abstract is missing.