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), pp. 11–18. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201 (Accessed: 4 May 2024).