@article{AHRENS_2015,
    doi = {10.1017/s0960129514000486},
    url = {https://doi.org/10.1017%2Fs0960129514000486},
    year = {2015},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {25},
    number = {5},
    pages = {1010--1039},
    author = {BENEDIKT AHRENS and KRZYSZTOF KAPULKIN and MICHAEL SHULMAN},
    title = {Univalent categories and the Rezk completion},
    journal = {Mathematical Structures in Computer Science}
}

@article{AHRENS_2015, doi = {10.1017/s0960129514000486}, url = {https://doi.org/10.1017%2Fs0960129514000486}, year = {2015}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {25}, number = {5}, pages = {1010--1039}, author = {BENEDIKT AHRENS and KRZYSZTOF KAPULKIN and MICHAEL SHULMAN}, title = {Univalent categories and the Rezk completion}, journal = {Mathematical Structures in Computer Science} }