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