Reasoning on regular path queries. (2003)

by D Calvanese, G D Giacomo, M Lenzerini, M Y Vardi
Venue:SIGMOD Record,