TY  - RPRT
TI  - First-Order Coalition Logic
AU  - Davide Catta
AU  - Rustam Galimullin
AU  - Aniello Murano
PY  - 2025
UR  - https://arxiv.org/abs/2505.06960
ID  - 2505.06960
ER  -