TY - GEN T1 - Unified Foundations of Team Semantics via Semirings PY - 2023/03/14 AU - Barlag T AU - Hannula M AU - Kontinen J AU - Pardal N AU - Virtema J ED - Y2 - 2024/12/23 ER -