Sara Cohen Benny Kimelfeld Yehoshua Sagiv Running tree automata on probabilistic XML. 227-236 2009 PODS http://doi.acm.org/10.1145/1559795.1559831 conf/pods/2009 db/conf/pods/pods2009.html#CohenKS09