Reasoning on regular path queries Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi   View Paper (PDF)   Return to December 2003, Volume 32, Number 4, ©2004 Association for Computing Machinery