"On Testing Satisfiability of Tree Pattern Queries."

Laks V. S. Lakshmanan et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics