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: http://177.105.60.18/index.php/infocomp/article/view/201 (Accessed: 5 October 2024).