_id,doi,title
10191,10.1145/3485541,The reads-from equivalence for the TSO and PSO memory models