Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani: Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. Theor. Comput. Sci. 492: 88-116 (2013)