_id,doi,title
1992,10.1145/2676726.2677008,Succinct representation of concurrent trace sets