Isao Yagi Yoshiaki Takata Hiroyuki Seki A Static Analysis Using Tree Automata for XML Access Control. 234-247 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_19 db/conf/atva/atva2005.html#YagiTS05