"Equivalence among Relational Expressions with the Union and Difference ..."

Yehoshua Sagiv, Mihalis Yannakakis (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics