Lytvynov, E.W. et al. 1997. Euclidean Gibbs states for quantum continuous systems with Boltzmann statistics via cluster expansion. Methods of Functional Analysis and Topology. 3, 1 (Mar. 1997), 62–81.