@article{BauerPetkovic22,
  title = {{An extensible equality checking algorithm for dependent type theories}},
  author = {Andrej Bauer and Anja Petković Komel},
  url = {https://lmcs.episciences.org/8980},
  doi = {10.46298/lmcs-18(1:17)2022},
  journal = {{Logical Methods in Computer Science}},
  volume = {18},
  issue = {1}
  year = {2022},
  month = Jan
}