Linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (CIKM, 2009)

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

Almost-linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (ACM Trans. Database Syst., 2013)