Efficient Inclusion Checking for Deterministic Tree Automata and DTDs.

Jrme Champavre, Rmi Gilleron, Aurlien Lemay, Joachim Niehren

Browse the full LATA paper archive.