DOI,IST REx ID,Title of publication
10.1145/3382734.3406005,8382,Long-lived snapshots with polylogarithmic amortized step complexity
10.1145/3382734.3405743,8383,Brief Announcement: Why Extension-Based Proofs Fail