Containment of Conjunctive Regular Path Queries with Inverse

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. Containment of Conjunctive Regular Path Queries with Inverse. In KR. pages 176-185, 2000.