On testing satisfiability of tree pattern queries (2004)

by L V S Lakshmanan, G Ramesh, H Wang, Z J Zhao