@misc{indiciaed1c617afc45c,
  title = {Signatures and Induction Principles for Higher Inductive-Inductive Types},
  author = {Ambrus Kaposi and András Kovács},
  year = {2020},
  doi = {10.23638/lmcs-16(1:10)2020},
  url = {https://arxiv.org/abs/1902.00297},
  note = {Source identifier: 1902.00297}
}