@misc{indiciae25c8e9a6fa12,
  title = {Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence},
  author = {Thorsten Wißmann and Stefan Milius and Lutz Schröder},
  year = {2023},
  doi = {10.46298/lmcs-18(4:6)2022},
  url = {https://arxiv.org/abs/2203.11175},
  note = {Source identifier: 2203.11175}
}