@misc{indiciaed535e6adf615,
  title = {The Complexity of Bisimilarity and Model Checking in Finitary Diagrams},
  author = {Markus Bläser and Sagnik Dutta and Samuel Okyay},
  year = {2026},
  url = {https://arxiv.org/abs/2606.16744},
  note = {Source identifier: 2606.16744}
}