TY  - RPRT
TI  - Finite Variable Counting Logics with Restricted Requantification
AU  - Simon Raßmann
AU  - Georg Schindling
AU  - Pascal Schweitzer
PY  - 2024
UR  - https://arxiv.org/abs/2411.06944
ID  - 2411.06944
ER  -