@misc{indiciae4c91e1d7b0a0,
  title = {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
  author = {Thorsten Wißmann and Stefan Milius and Lutz Schröder},
  year = {2021},
  doi = {10.4230/lipics.concur.2021.32},
  url = {https://arxiv.org/abs/2105.00669},
  note = {Source identifier: 2105.00669}
}