Containment of Conjunctive Regular Path Queries with Inverse.

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

Browse the full KR paper archive.