Visibly Pushdown Transducers with Well-Nested Outputs
2014 ◽
pp. 129-141
◽