MA, Hai-Tao; HAO, Zhong-Xiao; ZHU, Yan. Checking Satisfiability of Tree Pattern Queries for Active XML Documents. INFOCOMP Journal of Computer Science, [S. l.], v. 7, n. 1, p. 11–18, 2008. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/201. Acesso em: 23 nov. 2024.