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