  We study the asymptotic expansion of the log-partition function of the
anisotropic Heisenberg model in a bounded domain as this domain is dilated to
infinity. Using the Ginibre's representation of the anisotropic Heisenberg
model as a gas of interacting trajectories of a compound Poisson process we
find all the non-decreasing terms of this expansion. They are given explicitly
in terms of functional integrals. As the main technical tool we use the cluster
expansion method.
