DOI,IST REx ID,Research Group,Title of publication
10.1145/3382734.3405743,8383,DaAl,Brief Announcement: Why Extension-Based Proofs Fail