@inproceedings{alt-cap-kra:two-level,
  address = {Dagstuhl, Germany},
  author = {Thorsten Altenkirch and Paolo Capriotti and Nicolai Kraus},
  booktitle = {25th {EACSL} annual conference on {C}omputer {S}cience {L}ogic {(CSL} 2016)},
  editor = {Jean-Marc Talbot and Laurent Regnier},
  pages = {21:1--21:17},
  title = {Extending {H}omotopy {T}ype {T}heory with strict equality},
  volume = {62},
  year = {2016}
}