Visibly Pushdown Languages and Term Rewriting

@inproceedings{Chabin2007VisiblyPL,
  title={Visibly Pushdown Languages and Term Rewriting},
  author={Jacques Chabin and Pierre R{\'e}ty},
  booktitle={FroCoS},
  year={2007}
}