Ma, Hai-Tao, Zhong-Xiao Hao, and Yan Zhu. “Checking Satisfiability of Tree Pattern Queries for Active XML Documents”. INFOCOMP Journal of Computer Science 7, no. 1 (March 1, 2008): 11–18. Accessed May 4, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201.