@InProceedings{BauerHaselwarterPetkovic:eqchk,
author = {Bauer, Andrej
and Haselwarter, Philipp G.
and Petkovi{\'{c}}, Anja},
editor={Bigatti, Anna Maria
and Carette, Jacques
and Davenport, James H.
and Joswig, Michael
and de Wolff, Timo},
title = {Equality Checking for General Type Theories in Andromeda 2},
booktitle = {Mathematical Software -- ICMS 2020},
year = {2020},
publisher = {Springer International Publishing},
pages= {253--259}
}