@article{ahrens_etal_2015, title={Univalent categories and the Rezk completion}, volume={25}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/S0960129514000486}, DOI={10.1017/s0960129514000486}, number={5}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={AHRENS, BENEDIKT and KAPULKIN, KRZYSZTOF and SHULMAN, MICHAEL}, year={2015}, month=jan, pages={1010–1039} }