Safety and Correct Translation of Relational Calculus Formulas.

Allen Van Gelder, Rodney W. Topor

Browse the full PODS paper archive.