Ma, H.-T.; Hao, Z.-X.; Zhu, Y. Checking Satisfiability of Tree Pattern Queries for Active XML Documents. INFOCOMP Journal of Computer Science 2008, 7, 11-18.