Title: Logics for XML: Reasoning about Trees