Michael Benedikt Alan Jeffrey Efficient and Expressive Tree Filters. 461-472 2007 conf/fsttcs/2007 FSTTCS http://dx.doi.org/10.1007/978-3-540-77050-3_38 db/conf/fsttcs/fsttcs2007.html#BenediktJ07