Rewriting of Regular Expressions and Regular Path Queries. (2002)

by D Calvanese, G De Giacomo, M Lenzerini, Y M Vardi
Venue:J. Comput. Syst. Sci.