Tomasz Imielinski, Witold Lipski Jr.. On th Undecidability of Equivalence Problems for Relational Expressions. In Advances in Data Base Theory. pages 393-409, 1982.
@inproceedings{ImielinskiL82, title = {On th Undecidability of Equivalence Problems for Relational Expressions}, author = {Tomasz Imielinski and Witold Lipski Jr.}, year = {1982}, researchr = {https://researchr.org/publication/ImielinskiL82}, cites = {0}, citedby = {0}, pages = {393-409}, booktitle = {Advances in Data Base Theory}, }