On the Equivalence of Logical Databases.

Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi

Browse the full PODS paper archive.