TY  - RPRT
TI  - First-Order Query Evaluation with Cardinality Conditions
AU  - Martin Grohe
AU  - Nicole Schweikardt
PY  - 2026
UR  - https://arxiv.org/abs/1707.05945
ID  - 1707.05945
ER  -