@misc{indiciaeb6534f3842d6,
  title = {Bisimulation Invariant Monadic-Second Order Logic in the Finite},
  author = {Achim Blumensath and Felix Wolf},
  year = {2019},
  url = {https://arxiv.org/abs/1905.06668},
  note = {Source identifier: 1905.06668}
}