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 https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201