Different Proofs are Good Proofs.

Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva

Browse the full CADE paper archive.