@misc{indiciaed9063f6f4fe1,
  title = {Coinduction up to in a fibrational setting},
  author = {Filippo Bonchi and Daniela Petrisan and Damien Pous and Jurriaan Rot},
  year = {2014},
  doi = {10.1145/2603088.2603149},
  url = {https://arxiv.org/abs/1401.6675},
  note = {Source identifier: 1401.6675}
}