Vaughan R. Pratt. Origins of the Calculus of Binary Relations. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 248-254, IEEE Computer Society, 1992.
@inproceedings{Pratt92:2, title = {Origins of the Calculus of Binary Relations}, author = {Vaughan R. Pratt}, year = {1992}, researchr = {https://researchr.org/publication/Pratt92%3A2}, cites = {0}, citedby = {0}, pages = {248-254}, booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA}, publisher = {IEEE Computer Society}, }