William M. Farmer A Unification-Theoretic Method for Investigating the k-Provability Problem. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1991, v:51, n:3, pp:173-214 [Journal]
Moti Gitik The Strength of the Failure of the Singular Cardinal Hypothesis. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1991, v:51, n:3, pp:215-240 [Journal]