@INPROCEEDINGS{sterling_angiuli_2021,
  author={Sterling, Jonathan and Angiuli, Carlo},
  booktitle={2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  title={Normalization for Cubical Type Theory},
  year={2021},
  volume={},
  number={},
  pages={1-15},
  keywords={Computer science;Syntactics},
  doi={10.1109/LICS52264.2021.9470719}}