On: When are two proofs essentially the same? (2007)

[tightbookkeeper]

Art of computer programming volume 1. It’s an exercise with a solution at the end.

[cloogshicer → tightbookkeeper]

Thank you, will look into it!