DOI,IST REx ID,Research Group,Title of publication
10.1145/3313276.3316407,6676,DaAl,Why extension-based proofs fail