@misc{indiciae0394550f1e1c,
  title = {Computation of Transition Adjacency Relations Based on Complete Prefix Unfolding (Technical Report)},
  author = {Jisheng Pei and Lijie Wen and Akhil Kumar and Xiaojun Ye},
  year = {2020},
  url = {https://arxiv.org/abs/1512.00428},
  note = {Source identifier: 1512.00428}
}