@misc{indiciae861e50c4e1c0,
  title = {Computation of Summaries Using Net Unfoldings},
  author = {Javier Esparza and Loïg Jezequel and Stefan Schwoon},
  year = {2013},
  url = {https://arxiv.org/abs/1310.2143},
  note = {Source identifier: 1310.2143}
}