@misc{indiciae3103bacbfbfa,
  title = {Separator logic and star-free expressions for graphs},
  author = {Mikolaj Bojanczyk},
  year = {2021},
  url = {https://arxiv.org/abs/2107.13953},
  note = {Source identifier: 2107.13953}
}