Containment of Conjunctive Regular Path Queries with Inverse (2000)

by D Calvanese, G D Giacomo, M Lenzerini, M Y Vardi
Venue:In Proc. Int. Conf. on the Principles of Knowledge Representation and Reasoning