Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach: Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444