Decidable Containment of Recursive Queries.

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi

Browse the full ICDT paper archive.