Efficient inclusion checking for deterministic tree automata and XML schemas
scientific article; zbMATH DE number 5639683
scientific article