Pierre Geneves

• Logics for XML: Reasoning about Trees