@misc{indiciae3f6d7a76c54e,
  title = {Enumerating Teams in First-Order Team Logics},
  author = {Anselm Haak and Arne Meier and Fabian Müller and Heribert Vollmer},
  year = {2020},
  url = {https://arxiv.org/abs/2006.06953},
  note = {Source identifier: 2006.06953}
}