Y. Sagiv and M. Yannakakis. Equivalence among relational expressions with the union and difference operators. In J. ACM 27(4) pp. 633-655, 1981.
author author author author author title title title title title title title title title title journal journal journal volume pages pages date