Counting of Teams in First-Order Team Logics. - Anselm Haak; Juha Kontinen; Fabian Müller 003; Heribert Vollmer; Fan Yang 004 (MFCS, 2019)

Enumerating teams in first-order team logics. - Anselm Haak; Arne Meier; Fabian Müller 003; Heribert Vollmer (Ann. Pure Appl. Log., 2022)

Counting and enumerating in first-order team logics. - Fabian Müller 003 (2024)