@misc{indiciae436986a3d346,
  title = {Derived rules for predicative set theory: an application of sheaves},
  author = {Benno van den Berg and Ieke Moerdijk},
  year = {2011},
  url = {https://arxiv.org/abs/1009.3553},
  note = {Source identifier: 1009.3553}
}