Decidable containment of recursive queries (2003)

by D Calvanese, G De Giacomo, M Y Vardi
Venue:In Proc 9th International Conference on Database Theory, Lecture Notes in Computer Science