TY  - RPRT
TI  - Complexity of Clique-Guarded First-Order Logic with Counting
AU  - Steffen van Bergerem
AU  - Johannes Friedrich Lange
AU  - Nicole Schweikardt
PY  - 2026
UR  - https://arxiv.org/abs/2606.24848
ID  - 2606.24848
ER  -