Completeness of a Relational Calculus for Program Schemes.

Marcelo F. Frias, Roger D. Maddux

Browse the full LICS paper archive.