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 May 4];7(1):11-8. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201