Marcelo F. Frias Roger D. Maddux Completeness of a Relational Calculus for Program Schemes. 127-134 1998 LICS db/conf/lics/lics98.html#FriasM98