PHP, Tseitin and Ordering principle
Graph ordering principle
Pebbling formulas
Documentation for the kclique formula.
Documentation on the Ramsey formulas