Allen Van Gelder, Rodney W. Topor. Safety and Correct Translation of Relational Calculus Formulas. In Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California. pages 313-327, ACM, 1987. [doi]
Abstract is missing.