Containment of conjunctive regular path queries with inverse. (2000)

by D Calvanese, G D Giacomo, M Lenzerini, M Y Vardi
Venue:In KR,