Equivalences among relational expressions (1979)

by A V Aho, S Y, J Ullman
Venue:SIAM Journal on Computing