Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas.
Information and Computation, Elsevier, 2009, 207 (11), pp.1181-1208.
⟨10.1016/j.ic.2009.03.003⟩.
⟨inria-00366082v3⟩