TCS: Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
by Dario Colazzo, Giorgio Ghelli, Luca Pardini and Carlo Sartiani
in Theoretical Computer Science (TCS)

Permanent link to this article: https://team.inria.fr/oak/2013/04/25/tcs-efficient-asymmetric-inclusion-of-regular-expressions-with-interleaving-and-counting-for-xml-type-checking/