Extended proof of long-range order in the two-dimensional quantum spin-1/2 XXZ-model at T=0 Hans-Aloys Wischmann et Erwin Müller-HartmannJ. Phys. I France, 1 5 (1991) 647-657DOI: https://doi.org/10.1051/jp1:1991109
