TY - RPRT TI - Counting of Teams in First-Order Team Logics AU - Anselm Haak AU - Juha Kontinen AU - Fabian Müller AU - Heribert Vollmer AU - Fan Yang PY - 2020 UR - https://arxiv.org/abs/1902.00246 ID - 1902.00246 ER -