@misc{indiciae2866904e20f0,
  title = {Deciding equivalence with sums and the empty type},
  author = {Gabriel Scherer},
  year = {2016},
  url = {https://arxiv.org/abs/1610.01213},
  note = {Source identifier: 1610.01213}
}