@misc{indiciaea7909579df22,
  title = {Finite countermodels for safety verification of parameterized tree systems},
  author = {Alexei Lisitsa},
  year = {2011},
  url = {https://arxiv.org/abs/1107.5142},
  note = {Source identifier: 1107.5142}
}