Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). - Robson da Luz; Mirian Halfeld Ferrari Alves; Martin A. Musicante (J. Algorithms, 2007)