Equality: A Tool for Free-form Equation Editing.

Stephen Cummins, Ian Davies, Andrew C. Rice, Alastair R. Beresford

Browse the full ICALT paper archive.