Yasuhiko Minamide Akihiko Tozawa XML Validation for Context-Free Grammars. 357-373 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_22 db/conf/aplas/aplas2006.html#MinamideT06