_id,doi,title
9987,10.1007/978-3-030-81685-8_16,Stateless model checking under a reads-value-from equivalence