Stephen A. Cook, Jan Krajícek: Consequences of the provability of <i>NP</i> ⊆ <i>P/poly</i>. J. Symb. Log. 72(4): 1353-1371 (2007)