_id,doi,title
8012,10.1145/3385412.3385980,Inductive sequentialization of asynchronous programs
8089,10.1145/3385412.3385969,Polynomial invariant generation for non-deterministic recursive programs