Containment of conjunctive regular path queries with inverse

by Diego Calvanese, Maurizio Lenzerini, Moshe Y. Vardi
Venue:In KR’00