Reasoning on Regular Path Queries

D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi

Available in: PDF

483 Downloads