James Cummings Matthew Foreman Menachem Magidor The non-compactness of square. 637-643 2003 68 J. Symb. Log. 2 db/journals/jsyml/jsyml68.html#CummingsFM03