TY  - RPRT
TI  - Enumerating Teams in First-Order Team Logics
AU  - Anselm Haak
AU  - Arne Meier
AU  - Fabian Müller
AU  - Heribert Vollmer
PY  - 2020
UR  - https://arxiv.org/abs/2006.06953
ID  - 2006.06953
ER  -