Add the Tseitin paper.
Additional clauses