Finite-Degree Predicates and Two-Variable First-Order Logic
scientific article; zbMATH DE number 6767622