## Marcelo F. Frias, Roger D. Maddux

*Completeness of a Relational Calculus for Program Schemes*

LICS, 1998.

@inproceedings{LICS-1998-FriasM, author = "Marcelo F. Frias and Roger D. Maddux", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705649", isbn = "0-8186-8506-9", pages = "127--134", publisher = "{IEEE Computer Society}", title = "{Completeness of a Relational Calculus for Program Schemes}", year = 1998, }