First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
definability of a language in first-order logic
scientific article; zbMATH DE number 2167381
scientific article