First-order complexity of subgraph isomorphism via Kneser graphs
scientific article; zbMATH DE number 7369674