Ma H-T, Hao Z-X, Zhu Y. Checking Satisfiability of Tree Pattern Queries for Active XML Documents. INFOCOMP Journal of Computer Science [Internet]. 2008 Mar. 1 [cited 2024 Oct. 5];7(1):11-8. Available from: http://177.105.60.18/index.php/infocomp/article/view/201