@article{Huber_2018,
    doi = {10.1007/s10817-018-9469-1},
    url = {https://doi.org/10.1007%2Fs10817-018-9469-1},
    year = {2018},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {63},
    number = {2},
    pages = {173--210},
    author = {Simon Huber},
    title = {Canonicity for Cubical Type Theory},
    journal = {Journal of Automated Reasoning}
}

@article{Huber_2018, doi = {10.1007/s10817-018-9469-1}, url = {https://doi.org/10.1007%2Fs10817-018-9469-1}, year = {2018}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {63}, number = {2}, pages = {173--210}, author = {Simon Huber}, title = {Canonicity for Cubical Type Theory}, journal = {Journal of Automated Reasoning} }