Where to draw the line with text: Some claims by logic designers about graphics in notation.

Marian Petre, Thomas R. G. Green

Browse the full Interact paper archive.