A Refutation of Popular Diagonalization Applications

Disclaimer: This presentation was made to reflect an older, faulty proof behind the algorithm.
Some of the ideas are still useful, but the original paper claimed you only need to process clauses of length 3 or less where the new paper claims you need to process clauses of length 4 or less.