Link to "Succinct Representation of Concurrent Trace Sets".