@misc{indiciae8b96a06a0a8e,
  title = {Partition Refinement for Bisimilarity in CCP},
  author = {Andrés Aristizábal and Filippo Bonchi and Luis Pino and Frank D. Valencia},
  year = {2012},
  url = {https://arxiv.org/abs/1212.1548},
  note = {Source identifier: 1212.1548}
}