XML Type Checking Using High-Level Tree Transducer.

Akihiko Tozawa XML Type Checking Using High-Level Tree Transducer. 81-96 2006 conf/flops/2006 FLOPS http://dx.doi.org/10.1007/11737414_7 db/conf/flops/flops2006.html#Tozawa06