Reasoning on regular path queries

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/sigmod/CalvaneseGLV03,

 author    = {Diego Calvanese and
              Giuseppe De Giacomo and
              Maurizio Lenzerini and
              Moshe Y. Vardi},
 title     = {Reasoning on regular path queries},
 journal   = {SIGMOD Record},
 volume    = {32},
 number    = {4},
 year      = {2003},
 pages     = {83-92},
 ee        = {http://doi.acm.org/10.1145/959060.959076},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}