Regular expression subtyping for XML query and update languages (2008)

by James Cheney
Venue:In Proceedings of the 17th European Symposium on Programming (ESOP 2008), number 4960 in LNCS