@misc{indiciae11c15829cc25,
  title = {Branching Bisimilarity Checking for PRS},
  author = {Qiang Yin and Yuxi Fu and Chaodong He and Mingzhang Huang and Xiuting Tao},
  year = {2014},
  url = {https://arxiv.org/abs/1402.0050},
  note = {Source identifier: 1402.0050}
}