Ma, H.-T., Z.-X. Hao, and Y. Zhu. “Checking Satisfiability of Tree Pattern Queries for Active XML Documents”. INFOCOMP Journal of Computer Science, vol. 7, no. 1, Mar. 2008, pp. 11-18, https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201.