Torsten Grust Stefan Klinger Schema Validation and Type Annotation for Encoded Trees. 55-60 2004 conf/ximep/2004 XIME-P db/conf/ximep/ximep2004.html#GrustK04