sterling_angiuli_2021:
  type: article
  title: Normalization for Cubical Type Theory
  author:
  - Sterling, Jonathan
  - Angiuli, Carlo
  date: 2021
  page-range: 1-15
  serial-number:
    doi: 10.1109/LICS52264.2021.9470719
  parent:
    type: proceedings
    title: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    issue: ''
    volume: ''