@inproceedings{inproceedings, title  = {{Proof of a conjecture of A. Pitts}},

 url = {{}},

 year = {{1999}},

 month = {{11}},

 author = {{Moerdijk I and Vermeulen JJC}},

 volume = {{143}},

 journal = {{JOURNAL OF PURE AND APPLIED ALGEBRA}},

 issue = {{1-3}},

 pages = {{329-338}},

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