@misc{indiciae586f5da6abaf,
  title = {A Characterization of Combined Traces Using Labeled Stratified Order Structures},
  author = {Dai Tri Man Le},
  year = {2010},
  url = {https://arxiv.org/abs/1004.0056},
  note = {Source identifier: 1004.0056}
}