Equivalences among relational expressions (1979)

by A Aho, A Sagiv, J Ullman
Venue:SIAM J Comput