Ma, H.-T. et al. 2008. Checking Satisfiability of Tree Pattern Queries for Active XML Documents. INFOCOMP Journal of Computer Science. 7, 1 (Mar. 2008), 11–18.