@misc{indiciae8fcb306b0bc7,
  title = {Ordered Tree-Pushdown Systems},
  author = {Lorenzo Clemente and Paweł Parys and Sylvain Salvati and Igor Walukiewicz},
  year = {2015},
  url = {https://arxiv.org/abs/1510.03278},
  note = {Source identifier: 1510.03278}
}