A Note on Rewriting Proofs and Fibonacci Numbers.

Max I. Kanovich

Browse the full LFCS paper archive.