Physical Review Letters 17, 1133 (1966), DOI 10.1103/PhysRevLett.17.1133. The abstract states the absence of ferromagnetic or antiferromagnetic order at nonzero temperature in finite-range one- or two-dimensional isotropic spin- Heisenberg models. This is a primary source for the low-dimensional limitation of mean-field magnetic ordering.
American Journal of Physics 58, 731–734. Inspected original paper, received 30 March 1990 and accepted 28 April 1990; publication is August 1990.
Section III and equation (5) give the GHZ Pauli-product contradiction. The paper chooses the opposite three-qubit relative sign from the plus-GHZ state used in this wiki; the concept article explicitly calculates the signs for its own state.