Origins of the Calculus of Binary Relations

Vaughan R. Pratt

Browse the full LICS paper archive.