Extended proof of long-range order in the two-dimensional quantum spin-1/2 XXZ-model at T=0
and
J. Phys. I France, 1 5 (1991) 647-657
DOI: 10.1051/jp1:1991109
