Files
logseq/assets/TOSEM-2023-0288_Proof_hi_1693841825871_0.pdf