@misc{indiciaef1ca1014fcd6,
  title = {Coinductive Uniform Proofs},
  author = {Ekaterina Komendantskaya and Yue Li},
  year = {2019},
  url = {https://arxiv.org/abs/1903.07371},
  note = {Source identifier: 1903.07371}
}