Decidable Containment of Recursive Queries (2003)

by D Calvanese, G D Giacomo, M Y Vardi
Venue:In ICDT