@misc{indiciaea0660cb640db,
  title = {Uniform Interpolation for Coalgebraic Fixpoint Logic},
  author = {Johannes Marti and Fatemeh Seifan and Yde Venema},
  year = {2015},
  url = {https://arxiv.org/abs/1503.02319},
  note = {Source identifier: 1503.02319}
}