Reasoning on regular path queries (0)

by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y Vardi
Venue:SIGMOD Record