M.Y.: Decidable containment of recursive queries (2005)

by D Calvanese, G De Giacomo, Vardi
Venue:Theoretical Computer Science