TY  - RPRT
TI  - Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
AU  - Moritz Lichter
PY  - 2026
UR  - https://arxiv.org/abs/2210.07869
ID  - 2210.07869
ER  -