@article{article, title  = {{Derived rules for predicative set theory: An application of sheaves}},

 url = {{}},

 year = {{2012}},

 month = {{1}},

 author = {{van den Berg B and Moerdijk I}},

 doi = {{10.1016/j.apal.2012.01.010}},

 volume = {{163}},

 journal = {{Annals of Pure and Applied Logic}},

 issue = {{10}},

 pages = {{1367-1383}},

 note = {{Accessed on 2024/12/22}}}