Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.

Lei Chen, Haiming Chen

Browse the full ICTAC paper archive.