Ma, H.-T., Hao, Z.-X., & Zhu, Y. (2008). Checking Satisfiability of Tree Pattern Queries for Active XML Documents. INFOCOMP Journal of Computer Science, 7(1), 11–18. Retrieved from http://177.105.60.18/index.php/infocomp/article/view/201