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

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