@misc{indiciae7a5d3c936152,
  title = {A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours},
  author = {Xinxin Liu and Tingting Yu},
  year = {2021},
  url = {https://arxiv.org/abs/2105.07595},
  note = {Source identifier: 2105.07595}
}