Decidable containment of recursive queries (2003)

by D Calvanese, G D Giacomo, M Y Vardi
Venue:In Proc. 9th ICDT