Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.
scientific article; zbMATH DE number 7204311