Alex Thomo Srinivasan Venkatesh Ying Ying Ye Visibly Pushdown Transducers for Approximate Validation of Streaming XML. 219-238 2008 conf/foiks/2008 FoIKS http://dx.doi.org/10.1007/978-3-540-77684-0_16 db/conf/foiks/foiks2008.html#ThomoVY08