Tomasz Imielinski Witold Lipski Jr. On th Undecidability of Equivalence Problems for Relational Expressions. 393-409 1982 Advances in Data Base Theory db/conf/adbt/adbt82.html#ImielinskiL82