Regular Expression Subtyping for XML Query and Update Languages.

James Cheney

Browse the full ESOP paper archive.