@article{Champavere:2009:EIC:1630167.1630297,
    Address = {Duluth, MN, USA},
    Author = {Champav\`{e}re, J{\'e}r\^{o}me and Gilleron, R{\'e}mi and Lemay, Aur{\'e}lien and Niehren, Joachim},
    File = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas - Champavere, Gilleron, Lemay, Niehren (0) (0) - a - a - a.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Algorithmic complexity, Language inclusion, Tree automata, XML Shemas, unranked trees},
    Month = {November},
    Number = {11},
    Pages = {1181--1208},
    Publisher = {Academic Press, Inc.},
    Title = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas},
    URL = {http://dx.doi.org/10.1016/j.ic.2009.03.003},
    Volume = {207},
    Year = {2009},
    acmid = {1630297},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2009.03.003},
    date-added = {2017-01-09 08:59:12 +0000},
    date-modified = {2017-01-09 09:48:13 +0000},
    file-2 = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas - Champavere, Gilleron, Lemay, Niehren (1) (0) - a - a - a.pdf},
    issue_date = {November, 2009},
    numpages = {28},
    doi = {10.1016/j.ic.2009.03.003}
}

@article{Champavere:2009:EIC:1630167.1630297, Address = {Duluth, MN, USA}, Author = {Champav`{e}re, J{\'e}r\^{o}me and Gilleron, R{\'e}mi and Lemay, Aur{\'e}lien and Niehren, Joachim}, File = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas - Champavere, Gilleron, Lemay, Niehren (0) (0) - a - a - a.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Algorithmic complexity, Language inclusion, Tree automata, XML Shemas, unranked trees}, Month = {November}, Number = {11}, Pages = {1181--1208}, Publisher = {Academic Press, Inc.}, Title = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas}, URL = {http://dx.doi.org/10.1016/j.ic.2009.03.003}, Volume = {207}, Year = {2009}, acmid = {1630297}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2009.03.003}, date-added = {2017-01-09 08:59:12 +0000}, date-modified = {2017-01-09 09:48:13 +0000}, file-2 = {Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas - Champavere, Gilleron, Lemay, Niehren (1) (0) - a - a - a.pdf}, issue_date = {November, 2009}, numpages = {28}, doi = {10.1016/j.ic.2009.03.003} }