Nils Klarlund Thomas Schwentick Dan Suciu XML: Model, Schemas, Types, Logics, and Queries. 1-41 2003 conf/dagstuhl/2003lead Logics for Emerging Applications of Databases db/conf/dagstuhl/lead2003.html#KlarlundSS03